+[2016-12-14T18:35:14Z]jnavilaIs there a good reason why the committer is github when merging a PR from the web interface? +[2016-12-14T21:05:25Z]canton7jnavila, probably to indicate that the PR was merged from the web interface? +[2016-12-14T21:05:35Z]canton7I've never seen that be the case, personally... Maybe it's a new thing +[2016-12-14T21:06:44Z]jnavilaWell, the tool used to perform the merge is useless for future. I wonder if it's only for self-promotion +[2016-12-14T21:07:54Z]jnavilacanton7: it seems to be quite old. git log --format=fuller shows me that it's older than one year at least
hi guys, I want to get the top 10 biggest Pull Requests by size in my private github org. How can I achieve this in python and the github api? Please advise.
+[2016-12-15T00:00:10Z]Katakrashello +[2016-12-15T00:04:43Z]Katakras_hello +[2016-12-15T05:49:38Z]bilb_onoI am trying to push to my repo. and I get this error: remote: Permission to AlexMarshall12/AlexMarshall12.github.io.git denied to alex-conduce. This of course makes sense. I am using the wrong username. I want to push as AlexMarshall12, not alex-conduce +[2016-12-15T05:49:41Z]bilb_onohow can I do this? +[2016-12-15T08:46:31Z]tobiasvlbilb_ono: what command are you using to push?