22 Aug
2018
22 Aug
'18
9:38 p.m.
On Wed, Aug 22, 2018 at 1:35 PM, Miller, Frank <Frank.Miller@windriver.com> wrote:
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?
This is correct. dt -- Dean Troyer dtroyer@gmail.com