Doxygen #9
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
For this to be considered complete I'd like a CI job to validate there are no doxygen comments missing. That way it's enforced moving forward.
Preferably the CI should run on Gitea so that we have less to detach from GitHub in the future. But for now GitHub is fine if that's easier.