Submit pull requests
As mentioned before, we are using repo
to manage the project, sometimes developer’s change might be involved in more than one repositories.
We recommend developers to use following workflow to submit PRs.
Assume a developer has to change code in kernel
and build
repositories. The developer first has to fork the both repositories. Then add new
remote
for the both repositories. For example
git remote add <user> git@github.com:<user>/kernel
git checkout -b feature-x
# Change code and commit.
git push <user>
Then create a new PR for the kernel
repository.
Do the same to the build
repository.
To trigger a build in CI, the developer has to issue following comment on the page of one of the PRs.
build_prs <url-of-the-kernel-pr> <url-of-the-build-pr>