Git

  1. Rebase
  2. Check out a pull request (PR)
    git fetch upstream pull/754/head:my754
    git checkout my754
  3. Merge