+ [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. 155584

Posted by github987 in #github at 2016-11-02T21:34:43Z

would it make sense for me to merge my local master into my local branch, then push my local branch to github, and then merge/pull it into the master github branch there?
+ [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