{"push_id":568755486,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"15dd48213467056a86ad304615466dbcc0aad175","before":"12395783676f6ff64f766812de764bffe9ffe0d6","commits":[{"sha":"15dd48213467056a86ad304615466dbcc0aad175","author":{"email":"2a91c65c6d7f63ca829e9eea8bea6b5c6ae36bd9@cmu.edu","name":"Jeremy Avigad"},"message":"feat(*.md): update assignments and announcements","distinct":true,"url":"https://api.github.com/repos/leanprover/cmu-15815-s15/commits/15dd48213467056a86ad304615466dbcc0aad175"}]}