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

feat: add ?with_no_mergerequet and disable builds without merge request by default #399

Merged
merged 1 commit into from
Oct 9, 2020

Conversation

moul
Copy link
Member

@moul moul commented Oct 9, 2020

No description provided.

@auto-add-label auto-add-label bot added the enhancement New feature or request label Oct 9, 2020
@trafico-bot trafico-bot bot added the 🔍 Ready for Review Pull Request is not reviewed yet label Oct 9, 2020
…st by default

Signed-off-by: Manfred Touron <94029+moul@users.noreply.github.com>
@moul-bot moul-bot force-pushed the dev/moul/with-no-mergerequest branch from 28f77e6 to c40e20a Compare October 9, 2020 09:01
@moul moul self-assigned this Oct 9, 2020
@moul moul merged commit adc5292 into master Oct 9, 2020
@moul moul deleted the dev/moul/with-no-mergerequest branch October 9, 2020 09:07
@trafico-bot trafico-bot bot added ✨ Merged Pull Request has been merged successfully and removed 🔍 Ready for Review Pull Request is not reviewed yet labels Oct 9, 2020
@github-actions
Copy link

github-actions bot commented Oct 9, 2020

🎉 This PR is included in version 2.94.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

@moul moul mentioned this pull request Oct 9, 2020
84 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request ✨ Merged Pull Request has been merged successfully released
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant