Skip to content

Conversation

@nickvergessen
Copy link
Member

Ref #735

@mention-bot
Copy link

@nickvergessen, thanks for your PR! By analyzing the annotation information on this pull request, we identified @MorrisJobke to be a potential reviewer

@schiessle
Copy link
Member

looks good to me 👍

second reviewer... @MorrisJobke or @LukasReschke maybe?

@LukasReschke
Copy link
Member

LGTM

@LukasReschke LukasReschke merged commit c04b036 into master Aug 9, 2016
@LukasReschke LukasReschke deleted the workflow-cleanup branch August 9, 2016 09:29
@LukasReschke
Copy link
Member

Does this require a backport?

@schiessle
Copy link
Member

yes, I will prepare it

@schiessle
Copy link
Member

backport: #776

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants