{"push_id":1903518865,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f0bcbedc6aaf7633ae118143c071537ef73d01a5","before":"ea1988710e070cb6b8ace9017568cf9d79239e17","commits":[{"sha":"f0bcbedc6aaf7633ae118143c071537ef73d01a5","author":{"name":"Jörgen Brandt","email":"a065501c3e8014df02d4a64b052c23964f632e61@onlinehome.de"},"message":"Place list, transition list, and init marking added.","distinct":true,"url":"https://api.github.com/repos/joergen7/cre/commits/f0bcbedc6aaf7633ae118143c071537ef73d01a5"}]}
{"actor":{"display_login":"joergen7"}}