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

Add CI to ensure PR does not contains merge commit. #5

Merged
merged 1 commit into from
Jul 5, 2022

Conversation

sbernard31
Copy link
Owner

No description provided.

@sbernard31 sbernard31 force-pushed the no_merge branch 2 times, most recently from 7e96f34 to 52fd430 Compare June 14, 2022 09:14
@sbernard31 sbernard31 force-pushed the no_merge branch 3 times, most recently from d8128ef to 61066e7 Compare June 14, 2022 12:41
@sbernard31
Copy link
Owner Author

See PR #6 to look how it looks like in case of failure.

@sbernard31 sbernard31 merged commit 577b1c8 into master Jul 5, 2022
@sbernard31 sbernard31 deleted the no_merge branch July 29, 2022 14:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant