search

T-PLAY / hub

Central HUB and communication protocol of TPLAY
https://t-play.github.io/hub/
Mozilla Public License 2.0
2 stars 1 forks source link

Gitlab ci #21

Open hiergaut opened 5 months ago

hiergaut commented 5 months ago

Update gitlab ci to work with full pipeline

hiergaut commented 4 months ago

Ready for review.

nmellado commented 4 months ago

I missed the fact that we had a gitlab ci pipeline on the repo. As this cannot be tested on GitHub, I am afraid that this file could drift slowly to death without nobody notify it. So I suggest to remove it (but keep the associated bug fixes that make sense).

hiergaut commented 4 months ago

I can guarantee the maintenance of this file throughout the life of the project. The ci on gitlab server will later guarantee support on various other platforms offered by github. We can add runners to github but we'll have to pay for dedicated servers (virtual machines) to benefit from them. Having at least 2 different CIs on this project allows people who want to use the software to choose according to their preferences. For example, a fork from a research project with a gitlab server. I think it's a good idea to keep this file in the project to make life easier for contributors. Let's discuss AFK.

nmellado commented 4 months ago

ok 👍 But in that case we need a gitlab project with automatic mirroring from this one. https://docs.gitlab.com/ee/user/project/repository/mirror/

hiergaut commented 4 months ago

Thx, I will look at it.

hiergaut commented 4 months ago

I'll draft this PR until gitlab mirror proposal.

hiergaut commented 4 months ago

Current works on gitlab.com using local runners. Auto mirroring imply to create deploy ssh key by the github owner. We have to discuss about the location of gitlab repository in the www.