diff options
author | Teddy Wing | 2017-08-01 02:16:45 +0200 |
---|---|---|
committer | Teddy Wing | 2017-08-01 02:16:45 +0200 |
commit | 70b3605a346b746273a79c1a3ff4bc40ae0218bf (patch) | |
tree | 64bfbf27b03d4ed41f7b9a89f0e30f2470e4341e /db | |
parent | b0376b6737f0ac0831f60210f36cf60e4bc5666e (diff) | |
download | sorbot-70b3605a346b746273a79c1a3ff4bc40ae0218bf.tar.bz2 |
Add migration for GitHub Commit plugin table
A table that maps channel names with repo URLs in order to be able to
build a commit URL. Previously committed in
d1bdc16c9b1ad9a2b17b90a998640ebad1c02f9a, but now using the
'dbmigrations' format.
Diffstat (limited to 'db')
-rw-r--r-- | db/migrations/2017-08-01_00-07-49_create_github_commit_plugin_channel_repo_urls.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/db/migrations/2017-08-01_00-07-49_create_github_commit_plugin_channel_repo_urls.txt b/db/migrations/2017-08-01_00-07-49_create_github_commit_plugin_channel_repo_urls.txt new file mode 100644 index 0000000..4db3a2d --- /dev/null +++ b/db/migrations/2017-08-01_00-07-49_create_github_commit_plugin_channel_repo_urls.txt @@ -0,0 +1,12 @@ +Description: Create a table for the GitHub Commit plugin to store repo URLs +Created: 2017-08-01 00:08:44.998857 UTC +Depends: +Apply: | + CREATE TABLE IF NOT EXISTS plugin_github_commit_channel_repo_urls ( + id INTEGER PRIMARY KEY, + channel TEXT NOT NULL, + repo_url TEXT NOT NULL + ); + +Revert: | + DROP TABLE plugin_github_commit_channel_repo_urls; |