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.

Sign up for GitHub

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

Jump to bottom

chore(workflows): introduce gitlint workflow #250

Merged
merged 1 commit into from
Nov 20, 2023
Merged

chore(workflows): introduce gitlint workflow #250

merged 1 commit into from
Nov 20, 2023

Conversation

b1rger
Copy link
Contributor

@b1rger b1rger commented Jul 7, 2023

No description provided.

@b1rger b1rger force-pushed the birger/introduce-gitlint branch from 7449217 to 9e04bc3 Compare July 7, 2023 06:35
@b1rger b1rger marked this pull request as ready for review July 7, 2023 06:42
@b1rger b1rger force-pushed the birger/introduce-gitlint branch from 9e04bc3 to 36c941b Compare July 7, 2023 06:43
@b1rger b1rger requested a review from a team July 7, 2023 06:49
@b1rger b1rger added the tooling Tools, workflows, integrations etc. relevant to project maintenance, deployment, collaboration label Jul 7, 2023
@b1rger b1rger force-pushed the birger/introduce-gitlint branch from 36c941b to e5c66e4 Compare November 20, 2023 11:55
@b1rger b1rger merged commit 0fab771 into main Nov 20, 2023
9 checks passed
@b1rger b1rger deleted the birger/introduce-gitlint branch November 27, 2023 14:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
tooling Tools, workflows, integrations etc. relevant to project maintenance, deployment, collaboration
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@b1rger