{"push_id":2007319985,"size":1,"distinct_size":1,"ref":"refs/heads/wip/dynamic_thread_creation","head":"40afa43e47413ca6f245290c918b292b04979ba1","before":"e0a7f9a3c75d0568f0f360cba4229cc80994157d","commits":[{"sha":"40afa43e47413ca6f245290c918b292b04979ba1","author":{"name":"s-vde","email":"6ed0cead0cbd1dad85c90881afb41aa1ea3f5d8f@posteo.net"},"message":"[feature/dynamic_thread_creation] bring state-space-explorer up to date with record-replay dynamic thread location feature","distinct":true,"url":"https://api.github.com/repos/s-vde/state-space-explorer/commits/40afa43e47413ca6f245290c918b292b04979ba1"}]}
{"actor":{"display_login":"s-vde"}}