[haiku-development] Re: haiku and buildtools trees inaccessible, destroys .git/FETCH_HEAD: has git URL changed?

  • From: "Adrien Destugues" <pulkomandy@xxxxxxxxxxxxx>
  • To: haiku-development@xxxxxxxxxxxxx
  • Date: Fri, 28 Apr 2017 09:56:21 +0000

28 avril 2017 11:18 "Thomas Mueller" <mueller6723@xxxxxxx> a écrit:

Is this a temporary downtime, or did something change? Do I need to change 
the location?

Haiku website shows 
git clone git://git.haiku-os.org/haiku
and
git clone git://git.haiku-os.org/buildtools

consistent with what shows in .git/config

Is this wrong, has the remote URL changed to 
https://github.com/haiku/haiku.git and
and
https://github.com/haiku/buildtools.git ;?

I see haikuports, haikuports.cross and haikuporter are on github.com ; 
remember the move from
Atlassian. Have haiku and buildtools followed this move (though not from 
Atlassian)?

We never hosted these on Atlassian. Only haikuporter used to be there.

The github mirror for Haiku and the buildtools are only a mirror. You can't 
even use it directly because it lacks git tags. It is meant only to be our 
"public presence" on github.


Do I need to 
git remote set-url origin https://github.com/haiku/haiku.git ;

and similar for buildtools?

No, you can use the ones on Haiku-os.org servers, they are the canonical 
source. Unless there is a reason to do otherwise (as listed on the page, for 
example if you want or need to go through a proxy).

-- 
Adrien.

Other related posts:

  1. Home
  2. haiku-development
  3. Archive
  4. 04-2017