Revert "gitlab: Drop submodules hack"

Authored by bgamari on Dec 19 2018, 9:57 AM.

Description

Revert "gitlab: Drop submodules hack"

It turns out that the submodules hack is useful to ensure that
CI works in forks.

This reverts commit 90ceafa8b9ad60e3c7b72cdd2dacdbeb96bdcddc.

Details

Committed
bgamariDec 21 2018, 3:52 PM
Parents
rGHCe9346b539a3b: Improve documention of TypeInType
Branches
Unknown
Tags
Unknown
Reverts
rGHC90ceafa8b9ad: gitlab: Drop submodules hack