git-accepted flips back to master post-PR-merge.