mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 22:02:23 +01:00
Use A..HEAD, where A is the head commit of the most recent dependency PR. This should list all commits that are in the current PR that are not part of that dependency commit. Produce the "warning" message if that diff will include any commits that are in any other dependency PR. Assisted-by: Gemini via Antigravity
GitHub
Scripts for use with GitHub.
See individual scripts for more details.