Re: EMBA (Emacs Gitlab CI build server) is now *public* available

[Ted Zlatanov]

On Wed, 30 Jan 2019 13:13:16 +0100 Michael Albinus <address@hidden> wrote: 

MA> Toon Claes <address@hidden> writes:
>>> Don't know. Likely not, because it reflects the git clone on the emba
>>> server itself, which is triggered with Ted's credentials.
>> 
>> Yes. I suggest we create a "bot" user that pushes the changes. This
>> should reduce the confusion.

MA> Good idea. This shows also clearly the difference, when somebody has
MA> started a pipeline manually.

I think it's correct to show the pushing user, because the push is what
triggered the pipeline and could have contained multiple commits by
multiple authors. So a bot user makes a lot of sense for our current
setup, pure mirroring.

...and I see Toon already implemented it :) Thank you Toon!!

Ted