aboutsummaryrefslogtreecommitdiffstats
path: root/src/Plugin
diff options
context:
space:
mode:
authorTeddy Wing2017-08-20 20:42:28 +0200
committerTeddy Wing2017-08-20 20:42:28 +0200
commit9e543e593ffe7468789b159f8f5ccf2eb57cb53a (patch)
treec604cfe09b681918b6d7905e8cb88b6f3c769e2a /src/Plugin
parent0b20b2b113e68396a8ab4e6b59b349dc9248d85b (diff)
downloadsorbot-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.hs2
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.