Creating a Proper Pull Request

The steps given below are for the main Redox project - submodules and other projects may vary, though most of the approach is the same.

  1. In an appropriate directory, e.g. ~/tryredox, clone the Redox repository to your computer using one of the following commands:
  • HTTPS:
git clone --origin upstream --recursive
  • SSH:
git clone --origin upstream --recursive
  • Use HTTPS if you don't know which one to use. (Recommended: learn about SSH if you don't want to have to login every time you push/pull!)
  • If you used (see Building Redox), this was done for you and you can skip this step.
  1. Change to the newly created redox directory and rebase to ensure you're using the latest changes:
cd redox
git rebase upstream master
  1. Log into Redox Gitlab and fork the Repository. Look for the button in the upper right.
  2. Add your fork to your list of git remotes with
  • HTTPS:
git remote add origin
  • SSH:
git remote add origin
  • Note: If you made an error in your git remote command, use git remote remove origin and try again.
  1. Alternatively, if you already have a fork and copy of the repo, you can simply check to make sure you're up-to-date. Fetch the upstream, rebase with local commits, and update the submodules:
git fetch upstream master
git rebase upstream/master
git submodule update --recursive --init
  1. Create a separate branch:
git checkout -b MY_BRANCH
  1. Make your changes.
  2. Commit:
git add . --all
git commit -m "COMMIT MESSAGE"
  1. Optionally run rustfmt on the files you changed and commit again if it did anything (check with git diff first).
  2. Test your changes with make qemu or make virtualbox.
  3. Pull from upstream:
git fetch upstream
git rebase upstream/master
  • Note: try not to use git pull, it is equivalent to doing git fetch upstream; git merge master upstream/master, which is not usually preferred for local/fork repositories, although it is fine in some cases.)
  1. Repeat step 10 to make sure the rebase still builds and starts.
  2. Push your changes to your fork:
git push origin MY_BRANCH
  1. On the Redox Gitlab, create a Merge Request, following the template. Describe your changes. Submit!