aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2024-05-26 17:23:18 +0200
committerJonas Smedegaard <dr@jones.dk>2024-05-26 17:23:18 +0200
commita8cd5cb3f731f799caa23fdb82d51726d875f596 (patch)
tree0fa34d1fe7f81310d8cc82a1f01bbe6c378e90fe
parent957ed79d7ccf90b9016e4345ed628faec8627b5b (diff)
use git branch main (not master)HEADmaster
-rw-r--r--USE.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/USE.md b/USE.md
index b655b00..8491f0f 100644
--- a/USE.md
+++ b/USE.md
@@ -84,7 +84,7 @@ and finally push your local git into its new public location:
```shell
ssh git.example.org git init --bare --shared /srv/git/src.ex.../example.git
git remote add origin git.example.org:/srv/git/src.ex.../example.git
-git push --set-upstream origin master
+git push --set-upstream origin main
```