{"push_id":716420298,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3ebb7c16098f5ff0e6775b52e81b3f6cdecde17c","before":"d863b67bae990c71a5c9df98a3dd6ea6c65ae3fd","commits":[{"sha":"3ebb7c16098f5ff0e6775b52e81b3f6cdecde17c","author":{"email":"c44cec6316cd516d7e0eb5eb7abd3d929b94aca3@tiker.net","name":"Andreas Kloeckner"},"message":"Minor keyboard-interrupt safety fixes","distinct":true,"url":"https://api.github.com/repos/inducer/islpy/commits/3ebb7c16098f5ff0e6775b52e81b3f6cdecde17c"}]}