{"push_id":686960851,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0f90adf65421edac75d557a0f748af23a9ce2ad8","before":"845291591680396361d939b84843ddd29af9e5a8","commits":[{"sha":"7bb5b7668446f15258e03a7dac3b88d97761c22f","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"On the motivation of disjointness","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/intersection/commits/7bb5b7668446f15258e03a7dac3b88d97761c22f"},{"sha":"0f90adf65421edac75d557a0f748af23a9ce2ad8","author":{"email":"b7326feeaf5513a97df1998d28e3874f587ef79b@users.noreply.github.com","name":"Zhiyuan Shi"},"message":"Merge remote-tracking branch 'origin/master'\n\n# Conflicts:\n#\tpaper/formalization.pdf","distinct":true,"url":"https://api.github.com/repos/zhiyuanshi/intersection/commits/0f90adf65421edac75d557a0f748af23a9ce2ad8"}]}