{"push_id":879429408,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"854f226e0f5eb187c33edcadf066cf7d889e34b9","before":"83b05732aa72d78e0a67d5529efc6d86cbfe9501","commits":[{"sha":"79d05477d337af7038b40bf62ea574af03166f24","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Release 1.3","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/79d05477d337af7038b40bf62ea574af03166f24"},{"sha":"6a688a5fb8a41975db5536054890d9ce68671510","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Updated Debian changelog.","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/6a688a5fb8a41975db5536054890d9ce68671510"},{"sha":"28a969dd28e38be8e93ebcde058c778ec6134c38","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Add script for mostly automated releasing.","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/28a969dd28e38be8e93ebcde058c778ec6134c38"},{"sha":"854f226e0f5eb187c33edcadf066cf7d889e34b9","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Prepare version number for next development cycle.","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/854f226e0f5eb187c33edcadf066cf7d889e34b9"}]}