Closed bgrainger closed 9 years ago
If the PR body (or issue comment) includes Include https://git/user/repo/pull/N
then it will be added as a dependency and integrated when the parent PR is updated. (And the parent PR will be rebuilt if the child PR is updated.)
A build repo may have PRs issued for two or more of its submodules. If the PR text includes a GitHub PR URL (
https://git/:user/:repo/pull/:number
) then the commit for the build repo should update all the submodules at once.