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 can’t be recovered; they must be recreated.

  • When the IF EXISTS clause is specified and the target object doesn’t exist, the command completes successfully without returning an error.

Examples

DROP GIT REPOSITORY my_repository;
Copy
+-------------------------------------+
|                status               |
+-------------------------------------+
| MY_REPOSITORY successfully dropped. |
+-------------------------------------+
Language: English