Dean:
I assume that the github PRs are not tied into StoryBoard like gerrit is and that after you merge a PR then the prime who initiated the PR should go to their StoryBoard task and manually mark it as merged. Can you confirm?
Frank