Re: more submodule questions

2020-01-30 Thread Ben Gamari
Richard Eisenberg writes: >> On Jan 27, 2020, at 8:19 PM, Ben Gamari wrote: >> >> The linter does not hold up builds for merge requests but will hold up a >> "pre-merge" validation job (e.g. a validation of an MR created by >> @marge-bot). This ensures that a patch containing a wip/ submodule

Re: more submodule questions

2020-01-27 Thread Richard Eisenberg
> On Jan 27, 2020, at 8:19 PM, Ben Gamari wrote: > > The linter does not hold up builds for merge requests but will hold up a > "pre-merge" validation job (e.g. a validation of an MR created by > @marge-bot). This ensures that a patch containing a wip/ submodule > reference will not be merged

Re: more submodule questions

2020-01-27 Thread Ben Gamari
Richard Eisenberg writes: > Hi devs, > > I recently found this text at the end of > https://gitlab.haskell.org/ghc/ghc/wikis/working-conventions/git/submodules > > : > > --- > The CI pipeline of ghc/ghc> >