[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: |
Wed, 22 Dec 2021 14:53:53 +0100 |
On 22 December 2021 14:47:44 CET, Lars Ingebrigtsen <larsi@gnus.org> wrote:
>Theodor Thornhill <theo@thornhill.no> writes:
>
>> You just supply a build.yml, and it runs on many platforms. See
>> https://man.sr.ht/builds.sr.ht/
>
>D'oh. I didn't notice the buttons at the top of
>
> https://git.sr.ht/~emacs/emacs
>
Ah! Yeah:) if you want to, I can ask drew to give us a free trial, so that you
can submit builds to check how it works?
- Re: Migrating to sourcehut - what's missing?, (continued)
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Stefan Kangas, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?,
Theodor Thornhill <=
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Theodor Thornhill, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Óscar Fuentes, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Óscar Fuentes, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Lars Ingebrigtsen, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Eli Zaretskii, 2021/12/22
- Re: Migrating to sourcehut - what's missing?, Óscar Fuentes, 2021/12/22