Their '.git' and '.gitignore' are renamed before the commit/push on the Gitea repo so that they can be staged. After the push they are renamed back to '.git' and '.gitignore'.
If a repository already exists, when the code is pulled at the start, the user's git files will also be renamed back.
MR de feat-git-student vers fix-commit-any-challenge-type pour le diff
