unofficial mirror of 
 help / color / mirror / Atom feed
* heads-up: development branch is now "main"
@ 2021-05-11 19:19 Andy Wingo
  0 siblings, 0 replies; only message in thread
From: Andy Wingo @ 2021-05-11 19:19 UTC (permalink / raw)
  To: guile-devel, guile-user


Just a heads-up that the main Guile development branch is now named

If you have a recent git and a fairly conventional setup, it will be
sufficient to switch your working copy by doing:

  git fetch origin
  git checkout main

Then you can continue to "git pull" as usual.

One note, the default branch that you get when you clone is currently
still "master".  This should be resolved soon.  In the meanwhile I will
keep "master" sync'd with "main".


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-05-11 19:19 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-05-11 19:19 heads-up: development branch is now "main" Andy Wingo

unofficial mirror of 

This inbox may be cloned and mirrored by anyone:

	git clone --mirror guile-devel/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 guile-devel guile-devel/ \
	public-inbox-index guile-devel

Example config snippet for mirrors.
Newsgroups are available over NNTP:

AGPL code for this site: git clone http://ou63pmih66umazou.onion/public-inbox.git