{"push_id":2963268806,"size":1,"distinct_size":1,"ref":"refs/heads/feature/MinReach","head":"d2366caa4a1543bff8a1b61ad0f13ae46ab5653f","before":"e99948c2ef29e99e60e73555699a24d0ee82ce4f","commits":[{"sha":"d2366caa4a1543bff8a1b61ad0f13ae46ab5653f","author":{"name":"Vincent Bloemen","email":"e9818340a412704cfc72fc64b53029c29d3a4b6b@utwente.nl"},"message":"EFsynthminpq -best-worst-case should now correctly work","distinct":true,"url":"https://api.github.com/repos/imitator-model-checker/imitator/commits/d2366caa4a1543bff8a1b61ad0f13ae46ab5653f"}]}
{"actor":{"display_login":"vbloemen"}}