On Mon, Oct 15, 2018 at 5:46 PM Duy Nguyen <pclo...@gmail.com> wrote: > > On Mon, Oct 15, 2018 at 5:08 PM Ævar Arnfjörð Bjarmason > <ava...@gmail.com> wrote: > > As an aside I poked Junio via private mail in late August to see if he'd > > be interested in pushing to gitlab.com/git/git.git too as part of his > > normal push-outs.
People at GitLab also have wondered if it would be possible for GitLab to host an official Git mirror, and I think it would be nice indeed if Junio could push to gitlab.com. > > One neat thing that would buy us is the ability to > > have a .gitlab-ci.yml in git.git and use their CI implementation. Yeah, that would be nice for people who prefer to use GitLab CI. In general I agree that it is a good idea to have support for many CI tools even if it is not always up-to-date and even if it's not used by many people. > That would be great since it allows gitlab forks to have CI support > from the beginning. But gitlab ci has time execution limits if I > remember correctly and I'm not sure if we'll use it all up before the > end of the month (or whatever period that is), or do they offer > something special to git.git? I can ask for more time if that would help.
