23 Aug
2018
23 Aug
'18
12:38 a.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