From 0e9aebdb817976a8db1ea099bf3293c2ba7fece3 Mon Sep 17 00:00:00 2001
From: jesopo
Date: Fri, 28 Jun 2019 23:26:53 +0100
Subject: 'auto-github' should be a BoolSetting, not a Setting

---
 modules/github.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'modules')

diff --git a/modules/github.py b/modules/github.py
index 633f1a0a..c2f13294 100644
--- a/modules/github.py
+++ b/modules/github.py
@@ -25,7 +25,7 @@ API_PULL_URL = "https://api.github.com/repos/%s/%s/pulls/%s"
 @utils.export("channelset", utils.Setting("github-default-repo",
     "Set the default github repo for the current channel",
     example="jesopo/bitbot"))
-@utils.export("channelset", utils.Setting("auto-github",
+@utils.export("channelset", utils.BoolSetting("auto-github",
     "Enable/disable automatically getting github issue/PR info"))
 @utils.export("channelset", utils.IntSetting("auto-github-cooldown",
     "Set amount of seconds between auto-github duplicates", example="300"))
-- 
cgit v1.3.1-10-gc9f91