git: remove deprecated information

Signed-off-by: Nicolas Froger <nico@cri.epita.fr>

docs/git.md

@@ -41,10 +41,3 @@ commits. You can set them by using the following commands:
 git config --global user.name 'Firstname LASTNAME'
 git config --global user.email 'firstname.lastname@epita.fr'
 ```
-
-## git-autoconfig
-
-A tool called git-autoconfig is available on Archlinux SUP. This script will
-generate a key, configure your git and push your public key on the CRI website.
-While this is the easiest way, this tool has its limitations. It is instead
-recommended to follow the steps above for learning purpose.