Re: CI server on GitHub repos

[Ivan Vučica]

On Sun, Jun 25, 2017 at 9:01 PM, Daniel Ferreira (theiostream)
<address@hidden> wrote:
> Hi everyone,
>
> Now that our repos have been migrated to GitHub, it should be trivial
> to setup an integrated CI server for GNUstep projects.

I wouldn't mind a pull request setting up an off-the-shelf CI system,
in addition to Gregory's existing setup. (I don't know where the
'stuff is broken' emails are going these days.)