{"push_id":728406556,"size":1,"distinct_size":1,"ref":"refs/heads/pvj/main","head":"7cff2b1f55df06dd06f43c075c066dd176452a41","before":"6eb9c7275b34b032975731d77f71b5b9761e36a8","commits":[{"sha":"7cff2b1f55df06dd06f43c075c066dd176452a41","author":{"email":"653c5d892ba0f3ece899b0268f0750a82a7e17fe@eng.au.dk","name":"Peter W. V. Tran-Jørgensen"},"message":"Updating Java code generation related project to use the type checker facade","distinct":true,"url":"https://api.github.com/repos/overturetool/overture/commits/7cff2b1f55df06dd06f43c075c066dd176452a41"}]}