[DISCUSS] Rename 'master' branch to 'main'

[Julian Hyde]

I propose to rename the 'master' branch to 'main'. 'Main' is the
default name for new GitHub repositories [1], and over time 'master'
will start to become anachronism.

I have converted several repositories already, and the process is
straightforward. It takes a few seconds for each client [2].

Julian

[1] https://github.com/github/renaming

[2] https://gist.github.com/julianhyde/79a733e524d0d4f09f51dcbf78128821

[Sergey Nuyanzin]

+1 for renaming  to main

--
You received this message because you are subscribed to the Google Groups "sqlline-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sqlline-dev...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sqlline-dev/CAPSgeEQ%2Bo_099WCTUJMm9JrmBsUhK_MAz%3DEUT%2BdOKvtDU3JTTw%40mail.gmail.com.

--

Best regards,
Sergey

[James Turton]

+1

To view this discussion on the web visit https://groups.google.com/d/msgid/sqlline-dev/CAKQOUBj%2BUr2emcVZr3iBMmoXKM6CtRQdoJy6cX6LYYsU56r%2BSA%40mail.gmail.com.

[Julian Hyde]

Ok, it's done. For each of your local clones, execute the following commands:

git branch -m master main
git fetch origin
git branch -u origin/main main
git remote set-head origin -a

See https://github.com/julianhyde/sqlline/issues/453.

Julian

> To view this discussion on the web visit https://groups.google.com/d/msgid/sqlline-dev/CAAJcS0R%3D0he1nWAO4n7qttO3_JjEnQ_N8mQG0Wm_4GwKB1MinQ%40mail.gmail.com.