{"push_id":805545238,"size":1,"distinct_size":1,"ref":"refs/heads/stage","head":"4a3e816e50e615f7b3726bb1722789de88e99e5e","before":"f8aed66370eb0d15ab0cb9c867bf949f88ccf39f","commits":[{"sha":"4a3e816e50e615f7b3726bb1722789de88e99e5e","author":{"email":"7f80821c5f0f65d3deae1b9a73e49826c7cae064@pitt.edu","name":"Luke-Malchow-Bergenthal"},"message":"Hopefully functional IE workaround","distinct":true,"url":"https://api.github.com/repos/UPDDI/mps-database-server/commits/4a3e816e50e615f7b3726bb1722789de88e99e5e"}]}