DROP GIT REPOSITORY¶

Removes the specified Git repository stage from the current/specified schema.

See also:: ALTER GIT REPOSITORY, CREATE GIT REPOSITORY, DESCRIBE GIT REPOSITORY, SHOW GIT BRANCHES, SHOW GIT REPOSITORIES, SHOW GIT TAGS

Syntax¶

DROP GIT REPOSITORY [ IF EXISTS ] <name>

Copy

Parameters¶

name

Specifies the identifier for the repository stage to drop.

If the identifier contains spaces or special characters, the entire string must be enclosed in double quotes. Identifiers enclosed in double quotes are also case-sensitive.

For more information, see Identifier requirements.

Usage notes¶

Dropped Git repositories cannot be recovered; they must be recreated.

Examples¶

DROP GIT REPOSITORY my_repository;

Copy

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