More specifically, one should be able to say that a pull request for one repository depends on another (yet un-merged) pull request on another repository, e.g. with:
Dependencies: 24@xen-api-libs
The @git-bot should then either wait for the dependencies to be merged in before processing such a pull request, or (even better) try to build it by pulling in all the dependencies for the build.
More specifically, one should be able to say that a pull request for one repository depends on another (yet un-merged) pull request on another repository, e.g. with:
The @git-bot should then either wait for the dependencies to be merged in before processing such a pull request, or (even better) try to build it by pulling in all the dependencies for the build.