What you might want to do is rebase your branch on top of current master instead of merging master
into the branch… then force git to overwrite the branch when you push to GitHub. This sort of behavior is VERY BAD for a shared branch that people are actually using, since it messes up clones in a nasty way, but for pull requests, I don’t think it’s a bad
practice, since these aren’t really “working branches” so much as shared change sets… if that makes any sense.
In any case, I think if you do a merge as you originally suggested, the pull request should still
be okay… but it may become less readable, and merging it back into master may become more difficult.
I'd like to pull vufind-org master into my current branch. When I then push back to mt branch on github, will that mess with my outstanding pull request in any way?
I don't think it will because git is pretty smart about keeping track of the commits themselves, as opposed to some chronological conception of the state of a project. But confirmation
would be comforting.