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 /src/Plugin.hs | |
| 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 'src/Plugin.hs')
0 files changed, 0 insertions, 0 deletions