Commit graph

1 commit

Author SHA1 Message Date
Kebap
9a527a4e04
Infra: Move developer documentation to /docs (#8120)
#### Brief overview of PR changes/additions
- Create a /docs folder for prose info for developers
- Move a few files in there including /.github/README.md, it was taking
precedence over the /README in Github's rendering

#### Motivation for adding to Mudlet
Fix #8107

#### Other info (issues closed, discussion etc)
- Alternative to #8108 simply removing the info file
- Follow-up to #1348 which moved the file from / to /.github
-
https://docs.github.com/en/communities/setting-up-your-project-for-healthy-contributions/creating-a-default-community-health-file
suggests a list of relevant files, and explains how .github folder will
take precedence over root, then /docs folders.
2025-08-27 10:22:23 +02:00
Renamed from .github/README.md (Browse further)