Re: Migrating to sourcehut - what's missing?

[Theodor Thornhill]

>
> 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 :)

Theo