Hi all,
Bastien 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 Worg and elsewhere are now
Hi Konrad,
Konrad Hinsen 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 as well, for t
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 repla
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 git://org
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
com
