{"push_id":1139128600,"size":1,"distinct_size":1,"ref":"refs/heads/development","head":"e00abd12b96513fb061179db749e54867eb65b38","before":"4a8d516df8c39175dac687a5bb999fa828e9b636","commits":[{"sha":"e00abd12b96513fb061179db749e54867eb65b38","author":{"name":"Victor Bandur","email":"5dff2647bec9b464a9910c36bd1d79f9ccfc29c0@york.ac.uk"},"message":"Moving library file copy functionality to IDE plugin.\n\n\tmodified:   core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java\n\tmodified:   ide/cgen/src/main/java/org/overture/ide/plugins/cgen/commands/Vdm2CCommand.java","distinct":true,"url":"https://api.github.com/repos/overturetool/vdm2c/commits/e00abd12b96513fb061179db749e54867eb65b38"}]}
{"actor":{"display_login":"bandurvp"}}