From 7e85197d47aded81fbac3ae0c865fff260c84ba9 Mon Sep 17 00:00:00 2001
From: jesopo <github@lolnerd.net>
Date: Sun, 13 Jan 2019 22:06:41 +0000
Subject: [PATCH] Change !gh to be an alias of !github (github.py)

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

diff --git a/modules/github.py b/modules/github.py
index 6d66b187..42ffb97b 100644
--- a/modules/github.py
+++ b/modules/github.py
@@ -102,7 +102,8 @@ class Module(ModuleManager.BaseModule):
         else:
             event["stderr"].write("Could not find pull request")
 
-    @utils.hook("received.command.gh", min_args=1)
+    @utils.hook("received.command.gh", alias_of="github")
+    @utils.hook("received.command.github", min_args=1)
     def github(self, event):
         username, repository, number = self._parse_ref(
             event["target"], event["args_split"][0])