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

[Issues] Updating the issue templates #3981

Merged
merged 1 commit into from
Jan 30, 2025
Merged

[Issues] Updating the issue templates #3981

merged 1 commit into from
Jan 30, 2025

Conversation

ematejska
Copy link
Collaborator

Updating the issue templates to use magic.

Copy link

@github-actions github-actions bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The PR title does not conform to the '[<Project>] Title' format. Please update the PR title.

Typical [<Project>] values include:

  • [stdlib] — indicates a change to the Mojo standard library code
  • [docs] — indicates a change to the documentation

It's okay to include multiple labels on a PR that affect multiple areas of work.

Thank you for contributing to Mojo!🔥

You can also use a tool like www.regex101.com to see why your PR title fails to conform. Use ^(Revert ")?(\[\S.*\]\s?)+\s+[a-zA-Z`].* as the regex to test and Updating the issue templates as the test string.

@ematejska ematejska changed the title Updating the issue templates [Issues] Updating the issue templates Jan 30, 2025
@github-actions github-actions bot dismissed their stale review January 30, 2025 19:10

All good now, thanks!🫸🫷

@ematejska ematejska merged commit 0e03d6e into main Jan 30, 2025
8 of 9 checks passed
@ematejska ematejska deleted the update_templates branch January 30, 2025 19:12
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