[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Migrating to sourcehut - what's missing?
From: |
Theodor Thornhill |
Subject: |
Re: Migrating to sourcehut - what's missing? |
Date: |
Tue, 21 Dec 2021 23:02:51 +0100 |
Philip Kaludercic <philipk@posteo.net> writes:
> 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.
>
I'll set this up asap, and see where we will go from this.
And yes, this will be for demotstration purposes for the time being.
> --
> 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, 2021/12/21
- Re: Migrating to sourcehut - what's missing?,
Theodor Thornhill <=
- 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
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22