.gitlab-ci.yml
0 → 100644
+51
−0
ci/gitlab/run-on-gcc-farm.sh
0 → 100755
+138
−0
Loading
This is a work-in-progress. The way this'll work is: 1. This is maintained in https://gitlab.com/git-vcs/git-gitlab-ci 2. We'll run a script (to be added) that'll pull down https://gitlab.com/git-vcs/git (or any git.git). Then merge this git-gitlab-ci.git with it, and push it out to https://gitlab.com/git-vcs/git-ci 3. Eventually we might be able to upstream this .gitlab-ci.yml