2018-12-06 17:00:12 +03:00
|
|
|
# To remove a submodule you need to:
|
|
|
|
#
|
|
|
|
# Delete the relevant section from the .gitmodules file.
|
|
|
|
# Stage the .gitmodules changes git add .gitmodules
|
|
|
|
# Delete the relevant section from .git/config.
|
|
|
|
# Run git rm --cached path_to_submodule (no trailing slash).
|
|
|
|
# Run rm -rf .git/modules/path_to_submodule
|
|
|
|
# Commit git commit -m "Removed submodule <name>"
|
|
|
|
# Delete the now untracked submodule files
|
|
|
|
# rm -rf path_to_submodule
|
|
|
|
|
|
|
|
|
2018-04-26 11:37:42 +03:00
|
|
|
[submodule "submodules/HaRe"]
|
|
|
|
path = submodules/HaRe
|
2019-10-14 17:32:25 +03:00
|
|
|
url = https://github.com/wz1000/HaRe.git
|
2018-04-26 11:37:42 +03:00
|
|
|
|
2018-04-16 00:29:21 +03:00
|
|
|
[submodule "submodules/cabal-helper"]
|
|
|
|
path = submodules/cabal-helper
|
2019-11-19 15:50:20 +03:00
|
|
|
# url = https://github.com/DanielG/cabal-helper.git
|
|
|
|
# Change this back once https://github.com/DanielG/cabal-helper/pull/85/ merged
|
|
|
|
url = https://github.com/bubba/cabal-helper.git
|
2018-04-26 11:33:06 +03:00
|
|
|
|
2018-04-16 00:29:21 +03:00
|
|
|
[submodule "submodules/ghc-mod"]
|
|
|
|
path = submodules/ghc-mod
|
2019-10-13 16:05:20 +03:00
|
|
|
url = https://github.com/fendor/ghc-mod.git
|
2019-09-22 10:28:36 +03:00
|
|
|
|
2019-10-01 13:04:50 +03:00
|
|
|
[submodule "hie-bios"]
|
|
|
|
path = hie-bios
|
2019-10-25 16:51:27 +03:00
|
|
|
url = https://github.com/mpickering/hie-bios.git
|