lint-submods-marge consistently failing when attempting to update Haddock
ben at smart-cactus.org
Mon Jul 15 14:04:11 UTC 2019
Ryan Scott <ryan.gl.scott at gmail.com> writes:
> The submodule linter appears to have been disabled in . As Matthew notes
> in , perhaps we should probably open a ticket to track how to restore it.
I opened a ticket  in my gitlab-migration project where I track this sort
of administrative task.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the ghc-devs