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. |
+-------------------------------------+