On 3/18/21 8:52 PM, John Snow wrote: > On 3/18/21 3:46 PM, Stefan Hajnoczi wrote: >> On Wed, Mar 17, 2021 at 09:29:32PM +0100, Philippe Mathieu-Daudé wrote: >>> Now I'm having serious doubts about Gitlab usefulness for the QEMU >>> community... >> >> The QEMU Project has 50,000 minutes of GitLab CI quota. Let's enable >> GitLab Merge Requests so that anyone can submit a merge request and get >> CI coverage. >> > > How does this workflow work? > > I push to my branch, I submit a MR, CI runs? > > I suppose there must be a way for me to disable a CI run on my branch if > I intend to trigger it via a MR, to avoid eating minutes twice. I use that alias in ~/.gitconfig:
[alias] skip-ci-push = push --push-option=ci.skip Then: $ git skip-ci-push [-f] myrepo mybranch