Good point, I added a note to the article regarding PRs.

On local branches I’m not sure I get your point. If you hadn’t pushed a branch to bitbucket then (a) there is no way it was going to appear o github and (b) you can still push it to github once you change your remote in your local repository. It’s not lost :)