{"head":"e311170a7a3018efc2c143975cc92597097df4b7","size":1,"push_id":44922238,"shas":[["e311170a7a3018efc2c143975cc92597097df4b7","c9504f0695d3c4517fae5947ca9a4a1e03c3b2b1@cc.hut.fi","Writing github howto: pull requests to main repo","Stig-Arne Grönroos"]],"ref":"refs/heads/master"}