Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix #2406 -- respect DEPLOY_* in github_deploy #2410

merged 2 commits into from Jul 27, 2016


Copy link

@Kwpolska Kwpolska commented Jul 27, 2016

Signed-off-by: Chris Warrick <>
@Kwpolska Kwpolska added the bug label Jul 27, 2016
@Kwpolska Kwpolska added this to the v7.7.12 milestone Jul 27, 2016
Signed-off-by: Chris Warrick <>
Copy link

punchagan commented Jul 27, 2016

👍 Will merge once the builds pass.

@punchagan punchagan merged commit d1f6647 into master Jul 27, 2016
@punchagan punchagan deleted the github_deploy-filtering branch Jul 27, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet

Successfully merging this pull request may close these issues.

None yet

2 participants