{"push_id":576205335,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2b582e52ec4bea07d1e9b5dae3dd78a2be81de7e","before":"38ef86a1f75ee18960db1b48d23df5bd52aabe45","commits":[{"sha":"2b582e52ec4bea07d1e9b5dae3dd78a2be81de7e","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"chore(google1f6e809e1b87fe15.html): add 'Webmaster Tools' html to verify the ownership","distinct":true,"url":"https://api.github.com/repos/leanprover/leanprover.github.io/commits/2b582e52ec4bea07d1e9b5dae3dd78a2be81de7e"}]}