Skip to content

Merge branch 'tommy/safe-tool-rename-logic' of github.com:github/gith… #4869

Merge branch 'tommy/safe-tool-rename-logic' of github.com:github/gith…

Merge branch 'tommy/safe-tool-rename-logic' of github.com:github/gith… #4869

Triggered via push December 11, 2025 15:30
Status Success
Total duration 1m 7s
Artifacts
license-check
1m 3s
license-check
Fit to window
Zoom out
Zoom in