Hi all,
so we migrated org-mode.git repository to the new server.
If you already have a clone, please update your refs like this:
~$ cd your-existing-org-mode-repo/
~$ git config remote.origin.url git://orgmode.org/org-mode.git
You can make a fresh clone like this:
~$ git clone
On 9 Jan 2011, at 17:05, Bastien wrote:
If you already have a clone, please update your refs like this:
~$ cd your-existing-org-mode-repo/
~$ git config remote.origin.url git://orgmode.org/org-mode.git
Is there an http version as well, for those of us behind nasty
firewalls? I tried
Hi Konrad,
Konrad Hinsen konrad.hin...@fastmail.net writes:
On 9 Jan 2011, at 17:05, Bastien wrote:
If you already have a clone, please update your refs like this:
~$ cd your-existing-org-mode-repo/
~$ git config remote.origin.url git://orgmode.org/org-mode.git
Is there an http version
Hi all,
Bastien bastien.gue...@wikimedia.fr writes:
http://repo.or.cz/w/org-mode.git will still exist as a mirror, we will
install this next week.
This happened sooner than expected, the mirror is now setup here:
http://repo.or.cz/w/org-mode.git
Meaning that all references to commits in
Dear all,
Jason will migrate org-mode.git to the new server next sunday, 5pm-7pm
CET (UTC+1). Pulling will not be possible during that time.
I will send instructions on how to clone the new repo when the migration
is done.
It will be important to clone again after the migration as this repo
