# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1439910330 -7200
# Node ID 9d75333c8a3f14f3b66fbe0ca1e43e601495b3a5
# Parent  51fd36d01b278cec7ca1cfa226ec8bcad2db8d98
plugins.github: Add comment with example config

diff -r 51fd36d01b27 -r 9d75333c8a3f plugins/github.lua
--- a/plugins/github.lua	Tue Aug 18 15:53:48 2015 +0200
+++ b/plugins/github.lua	Tue Aug 18 17:05:30 2015 +0200
@@ -1,3 +1,13 @@
+-- Plugin for querying a Github issue-tracker
+--
+-- Example config:
+-- github = {
+--   ["project@conference.example.org"] = {
+--     user = "TheArchitect";
+--     repo = "TheMatrix";
+--   }
+-- }
+
 local url = require"socket.url";
 local json = require"util.json";
 local http = require"net.http";