diff --git a/.github/branch-rename.md b/.github/branch-rename.md new file mode 100644 index 000000000..77f58332e --- /dev/null +++ b/.github/branch-rename.md @@ -0,0 +1,7 @@ +modernize your local checkout of the repo like so, +```sh +git branch -m master hovudstraum +git fetch origin +git branch -u origin/hovudstraum hovudstraum +git remote set-head origin -a +```