Deprecate Repo#13

MarcelKoch wants to merge 2 commits into

masterginkgo-project/git-cmake-format:masterfrom

deprecate-repoginkgo-project/git-cmake-format:deprecate-repoCopy head branch name to clipboard