mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 20:10:13 +01:00
Also, when constructing the diff link, make sure we pick a commit that's on the current PR's branch as the starting point. github wasn't able to properly process the links we were creating before, if the last dependency PR had commits that weren't on the current PR. Fix a couple of tests that were broken by a prior change. Assisted-by: Gemini via Antigravity
GitHub
Scripts for use with GitHub.
See individual scripts for more details.