{"push_id":760695223,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9eb559bb2d75604e85c996cd6d6d91d37d32c01e","before":"8264a1c001bcc753cf806ab91183b1a01d3a8087","commits":[{"sha":"9eb559bb2d75604e85c996cd6d6d91d37d32c01e","author":{"email":"a6a209d34dfb8f0e8cc38253a876a9b3e245c48a@chalmers.se","name":"hallgren"},"message":"GF shell: add the start options to GFEnv, turn \"reload\" into an ordinary command","distinct":true,"url":"https://api.github.com/repos/GrammaticalFramework/GF/commits/9eb559bb2d75604e85c996cd6d6d91d37d32c01e"}]}