+ [2016-11-02T21:56:34Z] github987 "remote repository contained commits unmerged into the local branch " -< how do i solve this? i tried fetching a fresh master from github, and merging into that, and pushing the new master, but that doesnt work
+ [2016-11-02T22:24:41Z] github987 never mind i got it
+ [2016-11-02T22:39:41Z] github987 random question: why is it that when i do a pull request on Github, i end up merging something into the master? i thought pulling was github to local?
+ [2016-11-02T22:42:23Z] rindolf Hi all.
+ [2016-11-02T23:46:01Z] Intee Morning all :)

message no. 155507

Posted by bn_ in #github at 2016-11-02T20:03:34Z

tobiasvl: I guess maybe to maintain context. It'd be nice if you could edit an anonymous gist to add a revision to it, similar to how pastebin/jsfiddle works
+ [2016-11-03T00:06:01Z] bn_ sigh... wish github didn't drop support for standard HTML in-page anchors for older versions of Chrome
+ [2016-11-03T01:08:53Z] slee_ does the equivalence symbol in the GitHub shell mean? I appears after I have done a push to the remote.
+ [2016-11-03T02:26:10Z] bum Who is recent users here
+ [2016-11-03T02:35:58Z] bum B2w do you get reply for your question