plugins/github.lua

Fri, 07 Aug 2015 22:01:41 +0200

author
Kim Alvefur <zash@zash.se>
date
Fri, 07 Aug 2015 22:01:41 +0200
changeset 130
8c0dd9360228
parent 129
c9da10093c51
child 133
9d75333c8a3f
permissions
-rw-r--r--

plugins.github: Fix argument order

119
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
1 local url = require"socket.url";
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
2 local json = require"util.json";
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
3 local http = require"net.http";
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
4
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
5 function riddim.plugins.github(bot)
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
6 local conf = bot.config.github;
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
7 local base_url = url.parse("https://api.github.com/repos/x/y/issues/123");
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
8 local base_path = url.parse_path(base_url.path);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
9
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
10 local ex = {
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
11 headers = {
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
12 Accept = "application/vnd.github.v3+json";
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
13 };
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
14 };
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
15
128
5b03c71d05f0 plugins.github: Support per-room configuration
Kim Alvefur <zash@zash.se>
parents: 127
diff changeset
16 local function get_issue_url(conf, number)
5b03c71d05f0 plugins.github: Support per-room configuration
Kim Alvefur <zash@zash.se>
parents: 127
diff changeset
17 base_path[2] = conf.user;
5b03c71d05f0 plugins.github: Support per-room configuration
Kim Alvefur <zash@zash.se>
parents: 127
diff changeset
18 base_path[3] = conf.repo or conf.project;
119
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
19 base_path[5] = number;
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
20 base_url.path = url.build_path(base_path);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
21 local url = url.build(base_url);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
22 return url;
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
23 end
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
24
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
25 bot:hook("commands/issue", function (command)
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
26 local issue_id = tonumber(command.param);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
27 if not issue_id then return; end
129
c9da10093c51 plugins.github: Fix syntax error and wrong name
Kim Alvefur <zash@zash.se>
parents: 128
diff changeset
28 local current_conf = conf[command.room and command.room.jid] or conf;
c9da10093c51 plugins.github: Fix syntax error and wrong name
Kim Alvefur <zash@zash.se>
parents: 128
diff changeset
29 if not current_conf.user then return end
130
8c0dd9360228 plugins.github: Fix argument order
Kim Alvefur <zash@zash.se>
parents: 129
diff changeset
30 assert(http.request(get_issue_url(current_conf, issue_id), ex, function (issue, code)
119
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
31 if code > 400 then
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
32 return command:reply("HTTP Error "..code.." :(");
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
33 end
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
34 issue = issue and json.decode(issue);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
35 if not issue then
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
36 return command:reply("Got invalid JSON back :(");
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
37 end
129
c9da10093c51 plugins.github: Fix syntax error and wrong name
Kim Alvefur <zash@zash.se>
parents: 128
diff changeset
38 command:reply(("%s #%d\n%s"):format(issue.title, issue.number, issue.html_url));
119
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
39 end));
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
40 return true;
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
41 end);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
42
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
43 local function check_for_issue_id(message)
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
44 local issue_id = message.body and message.body:match"#(%d+)";
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
45 if issue_id then
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
46 return bot:event("commands/issue", { param = issue_id, reply = message.reply, });
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
47 end
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
48 end
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
49
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
50 bot:hook("groupchat/joining", function (room)
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
51 room:hook("message", check_for_issue_id);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
52 end);
e09157903d93 Add plugin for fetching issue info from GitHub
Kim Alvefur <zash@zash.se>
parents:
diff changeset
53 end

mercurial