From 9e543e593ffe7468789b159f8f5ccf2eb57cb53a Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Sun, 20 Aug 2017 20:42:28 +0200 Subject: 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. --- src/Plugin/GitHubCommit.hs | 2 -- 1 file changed, 2 deletions(-) (limited to 'src') 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. -- cgit v1.2.3