readme.md

• add this to your zshrc, or bashrc
• go to a repo directory
• find a PR to merge (eg: 1736)
• run merge_pr 1736 to rebase & merge automagically to nightly branch

pr_nightly.zsh

merge_pr () {
  git branch -D pr-$1
  git fetch origin refs/pull/$1/head:pr-$1
  git checkout pr-$1
  git rebase origin/nightly
  git branch -D nightly
  git checkout nightly
  git merge pr-$1 --ff-only
}