Add a new script to update levels according to CI results and create the corresponding PR
This commit is contained in:
2
.gitignore
vendored
2
.gitignore
vendored
@ -9,3 +9,5 @@ tools/bot-repo-cleanup/.github_token
|
||||
|
||||
tools/autopatches/login
|
||||
tools/autopatches/token
|
||||
|
||||
.github_token
|
||||
|
Reference in New Issue
Block a user