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

fix: add missing pr title lint action #1032

Merged
merged 1 commit into from Jan 25, 2023
Merged

fix: add missing pr title lint action #1032

merged 1 commit into from Jan 25, 2023

Conversation

styfle
Copy link
Member

@styfle styfle commented Jan 25, 2023 •
edited

This workflow was never committed in PR #1015 so I fixed the .gitignore too

@styfle styfle requested a review from Timer as a code owner January 25, 2023 15:15
@styfle styfle merged commit c2d03cf into main Jan 25, 2023
@styfle styfle deleted the add-pr-title-lint-workflow branch January 25, 2023 16:47
@github-actions
Copy link

🎉 This PR is included in version 0.36.1 🎉

The release is available on:

Your semantic-release bot 📦🚀

@github-actions github-actions bot mentioned this pull request May 2, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Timer Timer Awaiting requested review from Timer Timer is a code owner

Assignees
No one assigned
Labels
released
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@styfle