diff options
author | Ben Gamari <ben@smart-cactus.org> | 2018-12-19 10:57:11 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2018-12-21 16:52:13 -0500 |
commit | a3c6f5e4f16301cb4b9bb1629108ce8525026eb9 (patch) | |
tree | 9a68d7e51e0bba7da1560df9733124b7c1e35e7c /.gitlab | |
parent | e9346b539a3ba2e99baaa4d6daec704c95727f50 (diff) | |
download | haskell-a3c6f5e4f16301cb4b9bb1629108ce8525026eb9.tar.gz |
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.
Diffstat (limited to '.gitlab')
-rw-r--r-- | .gitlab/fix-submodules.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab/fix-submodules.py b/.gitlab/fix-submodules.py new file mode 100644 index 0000000000..2ff8e41974 --- /dev/null +++ b/.gitlab/fix-submodules.py @@ -0,0 +1,8 @@ +#!/usr/bin/python + +import re + +x = open('.gitmodules').read() +x = re.sub(r"url *= *\.\.", "url = https://gitlab.haskell.org/ghc", x) +open('.gitmodules', 'w').write(x) + |