Prevenir des push -f

* Evitons de pousser sur le serveur une copie git-svn et de casser le dépot git

git push -f met à jour tous les identifiants de commits divergents entre le dépot local et le serveur
Cela a pour conséquences :
* de doublonner l'historique aussi sur svn (ce sont des nouveaux commits),
* de casser les copies locales des autres utilisateurs (identifiants de commit différents)

Dans ce cas de figure, localement il faut faire 2 remote et rebaser les modifications personnelles sur le bon clone
Controler l'url distante avant de copier le dépot

* Petit contrôle en amont de la présence d'une url valide