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