diff options
author | Teddy Wing | 2017-08-20 20:42:28 +0200 |
---|---|---|
committer | Teddy Wing | 2017-08-20 20:42:28 +0200 |
commit | 9e543e593ffe7468789b159f8f5ccf2eb57cb53a (patch) | |
tree | c604cfe09b681918b6d7905e8cb88b6f3c769e2a /src/Plugin | |
parent | 0b20b2b113e68396a8ab4e6b59b349dc9248d85b (diff) | |
download | sorbot-9e543e593ffe7468789b159f8f5ccf2eb57cb53a.tar.bz2 |
GitHubCommit: Remove the `Id` type
We're not using this any more so it can be removed. I had added when I
was originally experimenting with getting values from the database and
had been selecting the `id` field.
Diffstat (limited to 'src/Plugin')
-rw-r--r-- | src/Plugin/GitHubCommit.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Plugin/GitHubCommit.hs b/src/Plugin/GitHubCommit.hs index 74658a9..ae9d68f 100644 --- a/src/Plugin/GitHubCommit.hs +++ b/src/Plugin/GitHubCommit.hs @@ -42,8 +42,6 @@ gitHubCommitAction message = do return $ Right $ r `T.append` "/commits/" `T.append` T.pack ( M.textStr message =~ matchRegex gitHubCommit) -type Id = Int - type RepoUrl = T.Text -- | A type to match the database table for this plugin. |