Rename tools.github.repos to tools.github.allowed-repos (#22311)
#9590
| Job | Run time |
|---|---|
| 2m 15s | |
| 19s | |
| 2m 34s |
tools.github.repos to tools.github.allowed-repos (#22311)
#9590
| Job | Run time |
|---|---|
| 2m 15s | |
| 19s | |
| 2m 34s |