diff --git a/howto/git.md b/howto/git.md index 61196ea9afe38339ecd4b50e214b6ff010d12237..59765f0fcf35279a534d7285bb364c79456b67e9 100644 --- a/howto/git.md +++ b/howto/git.md @@ -300,17 +300,19 @@ To archive a repository, it must first be deactivated by adding a The script should display some sort of warning and exit with an error, for example: - #!/bin/sh +``` +#!/bin/sh - cat <<EOF - This repository is deprecated and should not be used anymore. +cat <<EOF +This repository is deprecated and should not be used anymore. - See this issue for details: +See this issue for details: - https://gitlab.torproject.org/tpo/tpa/team/-/issues/9999999 - EOF +https://gitlab.torproject.org/tpo/tpa/team/-/issues/9999999 +EOF - exit 1 +exit 1 +``` Then in Gitolite, the repository must be put "in the Attic", using a patch that looks something like this: