DROP GIT REPOSITORY¶

Retire la zone de préparation de référentiel Git spécifiée du schéma actuel/spécifié.

Voir aussi :: ALTER GIT REPOSITORY, CREATE GIT REPOSITORY, DESCRIBE GIT REPOSITORY, SHOW GIT BRANCHES, SHOW GIT REPOSITORIES, SHOW GIT TAGS

Syntaxe¶

DROP GIT REPOSITORY [ IF EXISTS ] <name>

Copy

Paramètres¶

name

Spécifie l’identificateur de la zone de préparation de référentiel à supprimer.

Si l’identificateur contient des espaces ou des caractères spéciaux, toute la chaîne doit être délimitée par des guillemets doubles. Les identificateurs entre guillemets doubles sont également sensibles à la casse.

Pour plus d’informations, voir Exigences relatives à l’identificateur.

Notes sur l’utilisation¶

Les référentiels Git supprimés ne peuvent pas être récupérés ; ils doivent être recréés.

Exemples¶

DROP GIT REPOSITORY my_repository;

Copy

+-------------------------------------+
|                status               |
+-------------------------------------+
| MY_REPOSITORY successfully dropped. |
+-------------------------------------+