Skip to content
This repository was archived by the owner on Nov 22, 2023. It is now read-only.

ci: Remove linting of history#249

Merged
zarubaf merged 1 commit intomasterfrom
fix/remove-commit-ci
Sep 19, 2021
Merged

ci: Remove linting of history#249
zarubaf merged 1 commit intomasterfrom
fix/remove-commit-ci

Conversation

@zarubaf
Copy link
Copy Markdown
Contributor

@zarubaf zarubaf commented Sep 15, 2021

As the workflow here is squash and merge we do not need to have a look at the commit messages to guarantee a linear history.

As the workflow here is squash and merge we do not need to have a look at the commit messages to guarantee a linear history.
@zarubaf zarubaf requested a review from huettern September 15, 2021 07:55
@huettern
Copy link
Copy Markdown
Collaborator

Agree. We could instead check the PR title which becomes the squashed commit for compliance?

@zarubaf
Copy link
Copy Markdown
Contributor Author

zarubaf commented Sep 19, 2021

Yes, fully agree. That would be awesome. Seems to be quite a rabbit hole though so I decided to postpone this and we can just merge now imho. I will open an issue :)

@zarubaf zarubaf merged commit 09e3371 into master Sep 19, 2021
@zarubaf zarubaf deleted the fix/remove-commit-ci branch September 19, 2021 10:32
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants