ci: setup gitlab CI

[nim65s]

another try at #17

[nim65s]

Ok, I got it. the notification doesn't work, because it's not using https://github.com/apps/gepetto-dashboard to push the status, but a token from @hrp2-14. Can this bot be added in the organisation / project ?

[proyan]

I just sent an invitation. Who has access to the bot?

[jcarpent]

@nim65s What is the current status?

[nim65s]

The current status is "I had totally forgot about this", I'll take a look again tomorrow

[proyan]

@nim65s Do you still have the invitation for hrp2 bot, or do you want me to send it again?

[nim65s]

I think @hrp2-14 is a member, but when it tries to push the status, it gets a 404 error. The doc says:

Users with push access in a repository can create commit statuses

Do members of this repository have push access ?

[nim65s]

Who has access to the bot?

I'm the only one

[proyan]

Looks like the base permission setup was "read". I've updated it. Could you please try again?

[nim65s]

It works now, thanks :)