~theo

Bergen, Norway

https://thornhill.no

~theo/public-inbox

Last active 11 days ago

~theo/clws-devel

Last active a month ago

~theo/gql-discuss

Last active 2 months ago

~theo/gql-devel

Last active 2 months ago

~theo/gql-announce

Last active 2 months ago

~theo/clws-discuss

Last active 8 months ago

~theo/clws-announce

Last active 8 months ago
View more

Recent activity

[PATCH] contrib/clients: Add information about emacs irc clients 11 days ago

From Theodor Thornhill to ~emersion/soju-dev

---
 contrib/clients.md | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/contrib/clients.md b/contrib/clients.md
index 3ffbbc6..b297008 100644
--- a/contrib/clients.md
+++ b/contrib/clients.md
@@ -39,9 +39,44 @@ On WeeChat 3.2-, no IRCv3 capabilities are enabled by default. To enable them:

See `/help cap` for more information.

# [Emacs]

[message trimmed]

test 11 days ago

From Theodor Thornhill to ~theo/public-inbox

testing

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~theo/clws-devel

>
> 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.
>

Ok, now there at least is something to look at there:

Repo: https://git.sr.ht/~emacs/emacs
Todo: https://todo.sr.ht/~emacs/emacs
List: https://lists.sr.ht/~emacs/emacs-devel

Feel free to post things and to look at it.  We can figure out how to

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~emacs/emacs-devel

>
> 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.
>

Ok, now there at least is something to look at there:

Repo: https://git.sr.ht/~emacs/emacs
Todo: https://todo.sr.ht/~emacs/emacs
List: https://lists.sr.ht/~emacs/emacs-devel

Feel free to post things and to look at it.  We can figure out how to

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~emacs/emacs-devel

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

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~theo/clws-devel

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

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~emacs/emacs-devel

Stefan Kangas <stefankangas@gmail.com> writes:

> Theodor Thornhill <theo@thornhill.no> writes:
>
>> Actually, I think that running Sourcehut as a local instance wouldn't
>> really be necessary for the evaluation, because it is the same code that
>> is running on sr.ht.  Apart from the fiddly bits with self hosting, the
>> workflow should be the same.
> [snip]
>> Of course.  However, I think that getting some sense of what _needs_ to
>> be supported before even considering sourcehut would be smart.  The self
>> hosting can come later, IMO.
>
> I might be wrong, but I suspect that we are much closer than we think.

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~theo/clws-devel

Stefan Kangas <stefankangas@gmail.com> writes:

> Theodor Thornhill <theo@thornhill.no> writes:
>
>> Actually, I think that running Sourcehut as a local instance wouldn't
>> really be necessary for the evaluation, because it is the same code that
>> is running on sr.ht.  Apart from the fiddly bits with self hosting, the
>> workflow should be the same.
> [snip]
>> Of course.  However, I think that getting some sense of what _needs_ to
>> be supported before even considering sourcehut would be smart.  The self
>> hosting can come later, IMO.
>
> I might be wrong, but I suspect that we are much closer than we think.

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~emacs/emacs-devel

>
> 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?
>

Re: Migrating to sourcehut - what's missing? a month ago

From Theodor Thornhill to ~theo/clws-devel

>
> 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?
>