this repository is used only for automated CI pushes of documentation.

this repository is managed by a CI robot, and will be force-pushed.

a proper git history is not a guarantee.

merge requests should not be proposed to files in this codebase, please
propose them to the respective documentation sub-projects under the
primary Discord.Net repository.