Conversation
|
I see that I inverted the check for "is PR" This is what it was: It would be easier to fix this script than all the repos that are using this script IMO |
This reverts commit bd55385.
|
Here's the alternative PR: #2345 |
This seems more complicated to me
I just tell copilot to port them, so not a problem to update all repos |
|
I actually like that the current script is explicitly saying "not a PR, check everything" That being said, I don't feel strongly about it. |
oh, right, I forgot this repo's file is used elsewhere 👍 |
cc @zeitlinger