On Wed, Sep 23, 2015 at 09:29:06PM +0200, Achim Gratz wrote: > Suvayu Ali writes: > > On Wed, Sep 23, 2015 at 03:03:42PM -0400, Kaushal Modi wrote: > >> I cannot access the git: repo address and so had been using the http: > >> version till now ( http://repo.or.cz/r/org-mode.git/ ). > > > > That is a mirror, a relic from the old days when that used to be the > > official repo. Maybe try: http://orgmode.org/org-mode.git > > No, that never was the official repo. I've set up that mirror.
Didn't we used to have the Org repo hosted on repo.or.cz way, way back in the old days, pre-2010? Maybe I'm just confusing a different repo because it was on the same domain? -- Suvayu Open source is the future. It sets us free.