+ [2015-10-18T23:40:09Z] hashtag_ anaconda: thank you - so I first have to go to the upstream (where I forked from) repo and create the PR there? Or in the forked repo?
+ [2015-10-18T23:41:01Z] hashtag_ When I create the PR in the original repo I cannot find the branch anymore - could it be that the branch has been removed after I merged to my own repo?
+ [2015-10-18T23:47:01Z] hashtag_ anaconda: or was merging the PR to my own repo a mistake?
+ [2015-10-18T23:47:06Z] hashtag_ should I undo this?
+ [2015-10-18T23:56:05Z] anaconda you create the PR from your fork - not sure about the second question, I don't think it autodeletes the branch (doesn't when you PR to a different repo), but I've never PR'd something to my own fork

message no. 116768

Posted by fahadash in #github at 2015-10-18T03:11:53Z

I have to launch the shell and do a 'git pull'
+ [2015-10-18T23:56:53Z] anaconda I would undo that, yes - git checkout master and then see: http://stackoverflow.com/questions/8134960/how-to-revert-master-branch-to-upstream
+ [2015-10-19T00:01:37Z] hashtag_ I haven't used git at all - I did this from github directly (edit button) because it is only a very small change.
+ [2015-10-19T00:03:36Z] anaconda if it's really small I'd just delete the fork, fork again, change things, pr correctly to upstream :)
+ [2015-10-19T00:04:29Z] hashtag_ right, a reset