{"push_id":537605261,"size":1,"distinct_size":1,"ref":"refs/heads/wip_integration","head":"eda02102c92213a14c34d348275e0079a72a48ba","before":"1a23da3d21258eb9eb2db92f3b758c22784aa392","commits":[{"sha":"eda02102c92213a14c34d348275e0079a72a48ba","author":{"email":"1bfddd2b7d3192ef8dcf607e64391fefe073b5e3@gmail.com","name":"Eyal Lotem"},"message":"where label is a grammar label.\n\n* Make grammarLabel consistent with makeLabel,\n  It is an anim-id, not a widget-id (no selections/focus going on)","distinct":true,"url":"https://api.github.com/repos/Peaker/lamdu/commits/eda02102c92213a14c34d348275e0079a72a48ba"}]}