Skip to content

Working with the remote repo


See branches page for anything branch related

Quickly create a PR

createpr() {
    git stash;
    git switch -c $1;
    git commit --allow-empty --no-verify -m "Trigger GH Actions";
    git push origin $1 --no-verify;
    git set-upstream;
    gh pr create --assignee "@me" --title "[Default Prefix] " --web;
    git stash pop;


  • add a remote: git remote add origin
  • change the url of a remote: git remote set-url origin

Setting up a staging branch

git push --force-with-lease

If there might be a conflict, doesn't let you push?

Last update: 2023-04-24