It appears that there is either a delay or failure to replicate a merged commmit from Gerrithub to github.
https://review.gerrithub.io/#/c/402182/
merged 5:11AM 3/2/2018
not showing in:
https://github.com/att-comdev/deckhand/commits/master
as of 8:21AM
It does appear that the merge happened before the build was complete? (5:11 vs. 5:23) - maybe this has something to do with it?
It appears that there is either a delay or failure to replicate a merged commmit from Gerrithub to github.
https://review.gerrithub.io/#/c/402182/
merged 5:11AM 3/2/2018
not showing in:
https://github.com/att-comdev/deckhand/commits/master
as of 8:21AM
It does appear that the merge happened before the build was complete? (5:11 vs. 5:23) - maybe this has something to do with it?