{"push_id":2831886439,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"64c32e15de636882e1ae79ede0bc4729dc8102a3","before":"6e7492fdcdde9f885e93572c530d8e73d4fcc370","commits":[{"sha":"64c32e15de636882e1ae79ede0bc4729dc8102a3","author":{"name":"Terence Tao","email":"2836ccbed1d3c5aa8918a926292d120b5d70bed6@math.ucla.edu"},"message":"Law shortnames stripped of spaces and special characters","distinct":true,"url":"https://api.github.com/repos/teorth/QED/commits/64c32e15de636882e1ae79ede0bc4729dc8102a3"}]}
{"actor":{"display_login":"teorth"}}