Skip to content

Instantly share code, notes, and snippets.

View theintz's full-sized avatar

Tobias Heintz theintz

13 followers · 11 following
View GitHub Profile
@theintz
theintz / renaming_master_to_main.md
Created January 14, 2021 14:19
Renaming git branches: master -> main

Instructions for repo maintainer

  1. Create main branch off of up-to-date master: git checkout master && git pull && git checkout -b main
  2. Push main to origin and set-up tracking: git push -u origin main
  3. Set main as default branch and adjust branch protections in Gitlab/Github settings
  4. Instruct your fellow developers who have local clones of the repo to follow the steps below. Once everyone is done updating:
  5. Delete master branch in Gitlab/Github

Instructions for repo users

@theintz
theintz / keybase.md
Created July 9, 2014 12:49
I am boi on keybase.io

Keybase proof

I hereby claim:

  • I am theintz on github.
  • I am boi (https://keybase.io/boi) on keybase.
  • I have a public key whose fingerprint is F8CD 44EC 065E DF05 A951 9106 1AFB 8AE8 44F8 9989

To claim this, I am signing this object: