{"push_id":772262989,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3cca62e10cd0009c05a0e3eb6e6d7cef5c4aeb58","before":"f7a096266daf986d99c39e0c14c0ee136be128bb","commits":[{"sha":"3cca62e10cd0009c05a0e3eb6e6d7cef5c4aeb58","author":{"email":"73856c8dc44ba8ffc53f757d83fae441dfe7a3c5@googlemail.com","name":"Jan Bracker"},"message":"More general definition for phantom indices","distinct":true,"url":"https://api.github.com/repos/jbracker/polymonad-proofs/commits/3cca62e10cd0009c05a0e3eb6e6d7cef5c4aeb58"}]}