Skip to content

Validate PR Task IDs instead of titles - #80

Merged
illicitonion merged 1 commit into
mainfrom
task-ids
Sep 8, 2026
Merged

Validate PR Task IDs instead of titles#80
illicitonion merged 1 commit into
mainfrom
task-ids

Conversation

@illicitonion

Copy link
Copy Markdown
Member

At some point the Portal will take over this responsibility, but for now let's do the checks :)

@LonMcGregor LonMcGregor left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

This looks to simplify a few things, which is good. Changes look good here.

@illicitonion
illicitonion merged commit aa33741 into main Sep 8, 2026
3 checks passed
@illicitonion
illicitonion deleted the task-ids branch September 8, 2026 14:46
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