aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHécate Moonlight <Kleidukos@users.noreply.github.com>2021-12-17 17:28:48 +0100
committerGitHub <noreply@github.com>2021-12-17 17:28:48 +0100
commitcbc9cd0193944d54b326a6e87575ceb7afc98bc7 (patch)
treeaf0a86b5c5f154a9edff19f1b5c8d5597abef14f
parentc2dc73cfed35357a637d67dfa64885afeada9f20 (diff)
Remove ghc-head workflow (#1446)
Contributions of GHC glue code are now done on the GHC gitlab, not in the GitHub repo anymore.
-rw-r--r--CONTRIBUTING.md11
1 files changed, 3 insertions, 8 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 9e7fe5c2..51c8fa28 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -32,13 +32,9 @@ cd haddock
### Git Branches
-If your patch consists of glue code and interface changes with GHC, please
-open a Pull Request targeting the `ghc-head` branch.
-
-Otherwise, for improvements to the documentation generator,
-please base your pull request on the current GHC version branch
-(`ghc-9.0` for instance). The PR will be forward-ported to `ghc-head`
-so that documentation built within GHC can benefit from it.
+For improvements to the documentation generator,
+please base your pull request on the latest GHC version branch
+(`ghc-9.2` for instance).
### Building the packages
@@ -74,4 +70,3 @@ cabal v2-test html-test latex-test hoogle-test hypsrc-test \
[SSCCE]: http://sscce.org/
-