{"push_id":555919741,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"211c36c9cd03348c67d27b9de0b4a9541c7d06b3","before":"f612e4a23068e611a5f20029e84cf1125359dce8","commits":[{"sha":"211c36c9cd03348c67d27b9de0b4a9541c7d06b3","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(components): download from leanprover.github.io/lean.js","distinct":true,"url":"https://api.github.com/repos/leanprover/lean.js/commits/211c36c9cd03348c67d27b9de0b4a9541c7d06b3"}]}