DROP GIT REPOSITORY¶

指定したGitリポジトリステージを現行/指定スキーマから削除します。

こちらもご参照ください。: ALTER GIT REPOSITORY、 CREATE GIT REPOSITORY、 DESCRIBE GIT REPOSITORY、 SHOW GIT BRANCHES、 SHOW GIT REPOSITORIES、 SHOW GIT TAGS

構文¶

DROP GIT REPOSITORY [ IF EXISTS ] <name>

Copy

パラメーター¶

name

ドロップするリポジトリステージの識別子を指定します。

識別子にスペースまたは特殊文字が含まれる場合は、文字列全体を二重引用符で囲む必要があります。二重引用符で囲まれた識別子も大文字と小文字が区別されます。

詳細については、識別子の要件をご参照ください。

使用上の注意¶

ドロップされたGitリポジトリは復元できません。再作成する必要があります。

例¶

DROP GIT REPOSITORY my_repository;

Copy

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