{"push_id":2958435563,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6361c027b894b895b85823a252629bf621617bdb","before":"4c58ad2d6cd8530e46c9b9d3c8f41d0faf5b4b84","commits":[{"sha":"6361c027b894b895b85823a252629bf621617bdb","author":{"name":"Egbert Rijke","email":"67c1497eb7117ddd42d94ffde1d8e7dd61b86568@gmail.com"},"message":"adding material to Lecture 7","distinct":true,"url":"https://api.github.com/repos/EgbertRijke/HoTT-Intro/commits/6361c027b894b895b85823a252629bf621617bdb"}]}
{"actor":{"display_login":"EgbertRijke"}}