comparison: plugins/github.lua
plugins/github.lua
- changeset 133
- 9d75333c8a3f
- parent 130
- 8c0dd9360228
equal
deleted
inserted
replaced
| 131:51fd36d01b27 | 133:9d75333c8a3f |
|---|---|
| 1 -- Plugin for querying a Github issue-tracker | |
| 2 -- | |
| 3 -- Example config: | |
| 4 -- github = { | |
| 5 -- ["project@conference.example.org"] = { | |
| 6 -- user = "TheArchitect"; | |
| 7 -- repo = "TheMatrix"; | |
| 8 -- } | |
| 9 -- } | |
| 10 | |
| 1 local url = require"socket.url"; | 11 local url = require"socket.url"; |
| 2 local json = require"util.json"; | 12 local json = require"util.json"; |
| 3 local http = require"net.http"; | 13 local http = require"net.http"; |
| 4 | 14 |
| 5 function riddim.plugins.github(bot) | 15 function riddim.plugins.github(bot) |
