{"push_id":2743255601,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f0ac5966ce1e073a881cfd8806a0327cb5d81dc8","before":"7cbecdd5b47fe2d5fd167627c3474d218ea071a3","commits":[{"sha":"f0ac5966ce1e073a881cfd8806a0327cb5d81dc8","author":{"name":"Bunte","email":"fe82fe36b391c9d00d6f935f9e5663365f63e460@tue.nl"},"message":"[mcrl2ide] the propertiesdock now resets whenever the specifcation changes\n\nPreviously it resetted when the project was saved (it resets earlier now).\nAlso some formatting changed","distinct":true,"url":"https://api.github.com/repos/mCRL2org/mCRL2/commits/f0ac5966ce1e073a881cfd8806a0327cb5d81dc8"}]}
{"actor":{"display_login":"Valo13"}}