+[2017-03-01T21:08:33Z]nedbatpmatulis: i noticed it today, because people commented on it. +[2017-03-01T21:08:50Z]pmatulisheh heh, ok +[2017-03-01T21:20:56Z]Blendify_can I push svn repos? +[2017-03-01T23:12:06Z]jrccan you guys make it so if you star an item while logged out, after you're done being redirected to login and you do successfully, the repo gets starred automatically? +[2017-03-01T23:45:12Z]nedbatjrc: you might be overestimating how many people here have anything to do with building GitHub.
what it could had happened is that your PR was not possible to generated in first place
+[2017-03-02T02:11:01Z]patientplls +[2017-03-02T02:11:04Z]patientplerr... +[2017-03-02T02:11:05Z]patientplsorry +[2017-03-02T02:11:12Z]patientpli have the following error +[2017-03-02T02:11:31Z]patientplerror: Pull is not possible because you have unmerged files.