{"ref":"refs/heads/master","commits":[{"author":{"email":"6ce3f3127f4f74d215c6723b2a3c53f28d5d49ad@mines-nantes.fr","name":"Charles Prud'homme"},"sha":"f84f4516d54289607ebc873995a40c0ee4627c99","message":"add Monotonic","url":"https://api.github.com/repos/cprudhom/PropAnn/commits/f84f4516d54289607ebc873995a40c0ee4627c99"}],"head":"f84f4516d54289607ebc873995a40c0ee4627c99","size":1,"push_id":50818506}