{"push_id":1280031140,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"eb1559fc9516361709f1974d5f4801f086e3eb7d","before":"e903067ad8cc4ecf488efad053ae2ecff4184a5d","commits":[{"sha":"c4b1dd140e127e7bf3adf67ddaf7cbdfdf987778","author":{"name":"Lars Tveito","email":"0760ed546bcfe4cafd20d86c9024503f762dca0f@ifi.uio.no"},"message":"Correct cursor position after applying remote ops\n\nUsing `save-excursion' in Emacs is not sufficient to ensure correct\ncursor placement after having applied remote operations. Instead,\ncalculate the point the buffer should be and move the cursor there after\nhaving applied the operation(s).","distinct":true,"url":"https://api.github.com/repos/larstvei/master/commits/c4b1dd140e127e7bf3adf67ddaf7cbdfdf987778"},{"sha":"60c0a092273f2140365b829e2353c4dff82b3a9c","author":{"name":"Lars Tveito","email":"0760ed546bcfe4cafd20d86c9024503f762dca0f@ifi.uio.no"},"message":"Rename old Maude specification","distinct":true,"url":"https://api.github.com/repos/larstvei/master/commits/60c0a092273f2140365b829e2353c4dff82b3a9c"},{"sha":"56edec41df3925b53892db66382d26168784c926","author":{"name":"Lars Tveito","email":"0760ed546bcfe4cafd20d86c9024503f762dca0f@ifi.uio.no"},"message":"Bug fixes","distinct":true,"url":"https://api.github.com/repos/larstvei/master/commits/56edec41df3925b53892db66382d26168784c926"},{"sha":"300b4976fca04aaeac1bf4638085a684a3520174","author":{"name":"Lars Tveito","email":"0760ed546bcfe4cafd20d86c9024503f762dca0f@ifi.uio.no"},"message":"Trim history at the right time","distinct":true,"url":"https://api.github.com/repos/larstvei/master/commits/300b4976fca04aaeac1bf4638085a684a3520174"},{"sha":"cd9644166824e2673fa3f8a6edac5028399b6176","author":{"name":"Lars Tveito","email":"0760ed546bcfe4cafd20d86c9024503f762dca0f@ifi.uio.no"},"message":"Add ace editor","distinct":true,"url":"https://api.github.com/repos/larstvei/master/commits/cd9644166824e2673fa3f8a6edac5028399b6176"},{"sha":"eb1559fc9516361709f1974d5f4801f086e3eb7d","author":{"name":"Lars Tveito","email":"0760ed546bcfe4cafd20d86c9024503f762dca0f@ifi.uio.no"},"message":"Shared Buffer for the Ace editor","distinct":true,"url":"https://api.github.com/repos/larstvei/master/commits/eb1559fc9516361709f1974d5f4801f086e3eb7d"}]}
{"actor":{"display_login":"larstvei"}}