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";