{"push_id":2349027747,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fdc5d7b827ebe2c1ca066b9fc8f2c84af8694113","before":"1f2e461638503ea93b5ab2b6dd58fbc077638e59","commits":[{"sha":"fdc5d7b827ebe2c1ca066b9fc8f2c84af8694113","author":{"name":"Timothy Swan","email":"62f0bda17c037006719cc05e187c1584c59108ef@protonmail.ch"},"message":"Fixed names to match.","distinct":true,"url":"https://api.github.com/repos/runtimeverification/rv-match_testing/commits/fdc5d7b827ebe2c1ca066b9fc8f2c84af8694113"}]}
{"actor":{"display_login":"TimJSwan89"}}