{"push_id":1373688093,"size":2,"distinct_size":1,"ref":"refs/heads/pvj/map","head":"5d2319d23afc61c8f31bdc5f508491064b520b0f","before":"b1539515bf638f761fa73460edf932642932f7e8","commits":[{"sha":"46ed0f0b2c622400aeaab8abed62496ae6cd1c79","author":{"name":"Victor Bandur","email":"5dff2647bec9b464a9910c36bd1d79f9ccfc29c0@york.ac.uk"},"message":"Fix for map equality.","distinct":false,"url":"https://api.github.com/repos/overturetool/vdm2c/commits/46ed0f0b2c622400aeaab8abed62496ae6cd1c79"},{"sha":"5d2319d23afc61c8f31bdc5f508491064b520b0f","author":{"name":"Peter W. V. Tran-Jørgensen","email":"98c8056af91cee30f08e739982957888bfdc7dbe@eng.au.dk"},"message":"Merge remote-tracking branch 'origin/vpb/development' into pvj/map","distinct":true,"url":"https://api.github.com/repos/overturetool/vdm2c/commits/5d2319d23afc61c8f31bdc5f508491064b520b0f"}]}
{"actor":{"display_login":"peterwvj"}}