Mémo pour ajouter le droit d’exécution à un script sh via git.