{"push_id":3037643325,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7bdab20bcdf770adaf518c7a021ecc9f328e2459","before":"87de245c218d023ffe3ae3bd99e5f98bcb11db24","commits":[{"sha":"7bdab20bcdf770adaf518c7a021ecc9f328e2459","author":{"name":"Manasvi Saxena","email":"c8a7981d7d1a2bd0fd6f22b658d360701b6a344b@illinois.edu"},"message":"set-category-theory.md: Notes on 1-arrow being identity functions in Set","distinct":true,"url":"https://api.github.com/repos/msaxena2/logic-types-notes/commits/7bdab20bcdf770adaf518c7a021ecc9f328e2459"}]}
{"actor":{"display_login":"msaxena2"}}