tools: add support for URLs to PR commits in merge.sh
#76045
| Job | Run time |
|---|---|
| 1m 5s | |
| 1m 11s | |
| 1m 44s | |
| 3m 56s | |
| 25s | |
| 22s | |
| 23s | |
| 26s | |
| 38s | |
| 42s | |
| 10m 52s |
merge.sh
#76045
| Job | Run time |
|---|---|
| 1m 5s | |
| 1m 11s | |
| 1m 44s | |
| 3m 56s | |
| 25s | |
| 22s | |
| 23s | |
| 26s | |
| 38s | |
| 42s | |
| 10m 52s |