-
Use
gerrit2github.py
to download Gerrit changesets and create branches on GitHub. See the file for information on things that need to be changed in that file. -
Edit
config.py
to add information about collaborators, GitHub API tokens, etc. -
Run
make_prs.py
to create Pull Requests from the GitHub branches.