Skip to content

chore: remove commit lint ci#778

Merged
samsja merged 1 commit into
feat-rewrite-v2from
chore-remove-commit-lint-ci
Nov 15, 2022
Merged

chore: remove commit lint ci#778
samsja merged 1 commit into
feat-rewrite-v2from
chore-remove-commit-lint-ci

Conversation

@samsja

@samsja samsja commented Nov 15, 2022

Copy link
Copy Markdown
Member

Context

the commit lint of the CI is not working on the main/dev branch because it is suppose to work on a PR directly. But we squash merge the PR anyway so the name of the commit does not matter inside the pr branch. So the commit lint is actually never used. This pr just remove it

@samsja samsja changed the base branch from main to feat-rewrite-v2 November 15, 2022 09:10
@JoanFM JoanFM changed the title Chore remove commit lint ci chore: remove commit lint ci Nov 15, 2022
Signed-off-by: Sami Jaghouar <sami.jaghouar@hotmail.fr>
@samsja samsja force-pushed the chore-remove-commit-lint-ci branch 2 times, most recently from 7b8bc0c to a8e5649 Compare November 15, 2022 09:34
@samsja samsja closed this Nov 15, 2022
@samsja samsja reopened this Nov 15, 2022
@samsja samsja merged commit e576d72 into feat-rewrite-v2 Nov 15, 2022
@samsja samsja deleted the chore-remove-commit-lint-ci branch November 15, 2022 10:06
JohannesMessner pushed a commit that referenced this pull request Nov 16, 2022
Signed-off-by: Sami Jaghouar <sami.jaghouar@hotmail.fr>

Signed-off-by: Sami Jaghouar <sami.jaghouar@hotmail.fr>
Signed-off-by: Johannes Messner <messnerjo@gmail.com>
samsja added a commit that referenced this pull request Nov 17, 2022
Signed-off-by: Sami Jaghouar <sami.jaghouar@hotmail.fr>

Signed-off-by: Sami Jaghouar <sami.jaghouar@hotmail.fr>
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.

2 participants