{"push_id":3085393285,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"21a329de4242b4e942f5bf856ccd9bd71535ba36","before":"b7ba076b0e9a5e89b105a34d136da9bbac513a7e","commits":[{"sha":"21a329de4242b4e942f5bf856ccd9bd71535ba36","author":{"name":"Eklavya Sharma","email":"644665935b8cd0e6c5c3fbb74bb7edba5438a2a3@gmail.com"},"message":"Fix error in proof\n\nFix error in proof of /number-theory/gcd/gcd-is-min-lincomb.\nAlso improve the proof a bit.","distinct":true,"url":"https://api.github.com/repos/sharmaeklavya2/theoremdep-source/commits/21a329de4242b4e942f5bf856ccd9bd71535ba36"}]}
{"actor":{"display_login":"sharmaeklavya2"}}