This repository was archived by the owner on Apr 22, 2023. It is now read-only.
This repository was archived by the owner on Apr 22, 2023. It is now read-only.
avoid CI typos #26
Closed
Description
So, this happened: nodejs/node#19438 (comment)
(Someone accidentally used the wrong PR number when starting a CI job.)
Surely this isn't the first time this has happened nor the last time this will happen.
Would be awesome if we could either:
-
have
git node land
check the CI parameters to make sure they match the PR number? (That's a big request and would probably be sloooooow.) -
have a tool to start CI jobs that would somehow reduce the probability of this sort of thing. Not sure what that would look like to be honest.
This may be Too Big To Solve. Feel free to close. Just wanted to put it out there for consideration. Thanks.
Metadata
Metadata
Assignees
Labels
No labels