{"push_id":783491110,"size":2,"distinct_size":2,"ref":"refs/heads/spring_cleaning","head":"e63a6ca2ad8b1d981cb4abe2297bb4479fb8d87e","before":"803899f2bea09f37d7cf32ee5bef7b960997820e","commits":[{"sha":"80af667661695223b449316fa4b5b1e92091ac3a","author":{"email":"24a0ca276f0c51fe4cb6460bbd35f8842354fb44@gmail.com","name":"Ralf Vogler"},"message":"uncurry","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/80af667661695223b449316fa4b5b1e92091ac3a"},{"sha":"e63a6ca2ad8b1d981cb4abe2297bb4479fb8d87e","author":{"email":"24a0ca276f0c51fe4cb6460bbd35f8842354fb44@gmail.com","name":"Ralf Vogler"},"message":"typo","distinct":true,"url":"https://api.github.com/repos/goblint/analyzer/commits/e63a6ca2ad8b1d981cb4abe2297bb4479fb8d87e"}]}