tchajed/gh-paired-pr
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
No description
5 commits 1 branch 2 tags 32 KiB
  • Go 100%
Find a file
Exact
Tej Chajed b55211bbb5
 Add MIT license
2026-01-15 13:50:15 -06:00
.github/workflows Add github CI 2026-01-15 13:42:26 -06:00
check_pr Add -commit flag for dependent PR commit hash 2026-01-15 13:29:42 -06:00
go.mod Add initial port from goose-specific tool 2026-01-15 13:23:43 -06:00
go.sum Add initial port from goose-specific tool 2026-01-15 13:23:43 -06:00
LICENSE Add MIT license 2026-01-15 13:50:15 -06:00
main.go Use a hash to separate commit hash 2026-01-15 13:37:03 -06:00
README.md Add initial port from goose-specific tool 2026-01-15 13:23:43 -06:00

README.md

Find GitHub paired PRs

This tool helps you identify when a PR to a base repo depends on a "paired" PR in a dependency repo, and compile the base REPO with the PR in the dependency.

An an example, mit-pdos/perennial (our base repo) depends on goose-lang/goose. We run:

go run . -base mit-pdos/perennial -pr 313 -dependency goose-lang/goose -verbose

This tells us that perennial PR 313 depends on goose PR 119, which is branch tchajed/gen-wp-globals-alloc. It allows us in CI to compile perennial with that branch of goose, anticipating that the dependency PR will be merged together with the base PR. (In this case, a URL is not output since the goose PR is already merged.)