{"push_id":2353801881,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2fcffed7e2bcf84533b88ba948a4ced685b459d8","before":"099d409ae50ab4b9a33a4079052a7b655f6517f7","commits":[{"sha":"2fcffed7e2bcf84533b88ba948a4ced685b459d8","author":{"name":"Timothy Swan","email":"62f0bda17c037006719cc05e187c1584c59108ef@protonmail.ch"},"message":"Added 2 lines to timeout.sh so that script actually reports if it terminates or kills a process.","distinct":true,"url":"https://api.github.com/repos/runtimeverification/rv-match_testing/commits/2fcffed7e2bcf84533b88ba948a4ced685b459d8"}]}
{"actor":{"display_login":"TimJSwan89"}}