[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Migrating to sourcehut - what's missing?
From: |
Philip Kaludercic |
Subject: |
Re: Migrating to sourcehut - what's missing? |
Date: |
Tue, 21 Dec 2021 21:42:30 +0000 |
Theodor Thornhill <theo@thornhill.no> writes:
>>
>> So that would be something like git.sr.ht/~eliz/emacs or
>> git.sr.ht/~lars/emacs? This makes me wonder how "hard coded" the user
>> names are in the sourcehut code base. Assuming the GNU project would
>> host its sourcehut instance on the domain git.gnu.org, srht.gnu.org,
>> source.gnu.org, or whatever, would it still be possible to remove the
>> "~..." username part? (I know this is as minor of an issue as it gets,
>> it's just curiosity).
>>
>> Until then, it seems that the username "~gnu" is not taken. Maybe
>> someone more entitled than me could mirror a few repositories over there
>> for testing purposes?
>>
>
> See my other mail just sent. ~emacs is owned by me as for now, unless
> ~gnu is preferred :)
My understanding is that this would be a practical demonstration right?
(I believe the consensus last time was that the service should be hosted
on FSF servers.) If that is the case, I think that if you could set up a
few example repositories (emacs, elpa, nongnu) on git., import a few
mailing list archives on lists. and make up some issues on todo. then
the discussion could become more concrete and the path forward more
clear.
--
Philip Kaludercic
- Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Stefan Kangas, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Eric Abrahamsen, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Philip Kaludercic, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Eric Abrahamsen, 2021/12/21
- Re: Migrating to sourcehut - what's missing?,
Philip Kaludercic <=
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Philip Kaludercic, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/21
- Re: Migrating to sourcehut - what's missing?, tomas, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Po Lu, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, tomas, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Stefan Kangas, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Po Lu, 2021/12/22