![]() ### Summary This PR removes the website generation logic and sets up a HTML redirect to the new ecosystem page. I decided on a HTML redirect as it seems [`external-sites.json`](https://docs.github.com/en/contributing/writing-for-github-docs/configuring-redirects#configuring-external-redirects) is actually for GitHub docs contributors, not GitHub pages. From what I can tell, there's no way to server-side redirect a GitHub pages site. > [!Caution] > **Do not merge** > > The redirect will take effect immediately after merging. Please do not merge until the new page is live. Commit-wise review may be easier. *** Closes #741 |
||
---|---|---|
.. | ||
git-guidance.md | ||
project_overview.md |