{"push_id":1247578740,"size":1,"distinct_size":1,"ref":"refs/heads/development","head":"5aad932b85bf71715fbc14be0cf0c25227f3c34f","before":"dfe6ebb780cd48a978586c4e86e807bcd4c9826e","commits":[{"sha":"5aad932b85bf71715fbc14be0cf0c25227f3c34f","author":{"name":"Victor Bandur","email":"5dff2647bec9b464a9910c36bd1d79f9ccfc29c0@york.ac.uk"},"message":"Type of the initial value of record initialization after conversion to\nclasses.\n\n\tmodified:   core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/FieldInitializerExtractorTrans.java\n\tmodified:   core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/NewRewriteTrans.java\n\tmodified:   core/vdm2c/src/main/java/org/overture/codegen/vdm2c/transformations/RecordDefsToClassDefsTrans.java","distinct":true,"url":"https://api.github.com/repos/overturetool/vdm2c/commits/5aad932b85bf71715fbc14be0cf0c25227f3c34f"}]}
{"actor":{"display_login":"bandurvp"}}