Admin message

Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template

ghc 9.4.4 failed to build with sphinx-doc 6.0.0
## Summary Running into build issue when building ghc 9.4.4 against sphinx-doc 6.0.0 The error is as below ``` Command line: /opt/homebrew/opt/sphinx-doc/bin/sphinx-build -b man -d /private/tmp/extra-dir-55768274273/.doctrees-man -n -w /private/tmp/extra-dir-55768274273/.log docs/users_guide /private/tmp/extra-dir-55768274273 ===> Command failed with error code: 2 Exception occurred: File "/opt/homebrew/Cellar/sphinx-doc/6.0.0/libexec/lib/python3.11/site-packages/sphinx/ext/extlinks.py", line 101, in role title = caption % part ~~~~~~~~^~~~~~ TypeError: not all arguments converted during string formatting ``` The build was successful earlier with `sphinx-doc 5.3.0` ## Steps to reproduce Building ghc against `sphinx-doc 6.0.0` ## Expected behavior Passed the build ## Environment * GHC version used: 9.4.4 Optional: * Operating System: osx * System Architecture: intel/arm
issue