On Dec 4, 2014, at 3:33 PM, Jed Brown <[email protected]> wrote:

Patrick Sanan <[email protected]> writes:

...

...

Sure thanks, but there is no way I can remember this; hence bitbucket should walk me through it. Yeah - their helpful hint doesnt work when pulling across repos, which is a useful, probably typical, case, so it'd be better for then to have said nothing!

GitHub does better here:

| You can merge this Pull Request by running: | | git pull https://github.com/someuser/petsc someuser/branch-name

Nice, this is what I want. Has bitbucket been made aware of their definiciecy so they can fix it? Barry