Hi, Am Montag, dem 22.01.2024 um 08:16 +0000 schrieb Adam Gundry:
In the meantime, for accepted proposals one can use
https://ghc-proposals.readthedocs.io/en/latest/
which Joachim set up some time ago [2]. I'm not sure how frequently it is updated, as it doesn't have the GHC2024 proposal listed. And it sometimes tries to redirect to https://ghc-proposals.haskell.org which apparently doesn't exist. Joachim, do you know the status of this?
not sure if that subdomain ever existed, I reconfigured readthedocs to not refer to it. Also, they changed something recently, where I think they did not require a .readthedocs.yaml file and now they do. Let me add a simple one and see if it works again… Hmm, looks like the webhook integration also failed… updated. Ok, is updated again. But note that we never made that official, and more work would be needed to make that good (e.g. show the metadata, include the PR number in the main list), probably requiring some sphinx-python-hacking. And a decent domain. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/