[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Migrating to sourcehut - what's missing?
From: |
Eric Abrahamsen |
Subject: |
Re: Migrating to sourcehut - what's missing? |
Date: |
Tue, 21 Dec 2021 13:41:32 -0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
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 :)
Sounds like a good start! We could try assigning a few bug reports to
sr.ht and its workflow, and see how that goes -- merging the fixes back
into savannah (assuming everything works well enough to actually get the
bugs fixed!).
- 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 <=
- 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?, 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