16:10:49 < jpab > robn: wiki links might be good
16:10:54 < jpab > robn: not sure what the syntax should be
16:11:03 < robn > wiki:foo?
16:11:37 < jpab > we have spaces in our wiki page names -- might need to involve brackets
16:11:55 < jpab > [FAQ], [Active Discussions] maybe?
16:12:12 < jpab > might catch too much that way
16:12:21 < kko > I'm not sure if it's useful. If you need to write wiki:Getting-started-with-development it's likely that you have already opened the wiki to copy the page
name, might as well paste the full url
16:12:22 < jpab > wiki:FAQ, wiki:[Active Discussions]
16:12:30 < jpab > kko: true
16:13:27 < jpab > speaking of wiki, wikipedia is being sloooooooooooooow (or down) at the moment
16:13:49 < robn > I could build in a wiki search. its just a github repo
16:13:55 < robn > that would take a bit more time to do well
16:14:52 < jpab > I suppose github can ping the bot when the wiki changes?
16:15:23 < jameson > [ Issues · robn/jameson · GitHub ]
16:15:40 < robn > actually I'm not sure if you can add service hooks for wiki repos
16:15:53 < robn > not that github is reliable for that anyway
16:16:08 < robn > I'm planning to have the repos checked out and update them every N
16:16:23 < robn > for small N
16:10:49 < jpab > robn: wiki links might be good 16:10:54 < jpab > robn: not sure what the syntax should be 16:11:03 < robn > wiki:foo? 16:11:37 < jpab > we have spaces in our wiki page names -- might need to involve brackets 16:11:55 < jpab > [FAQ], [Active Discussions] maybe? 16:12:12 < jpab > might catch too much that way 16:12:21 < kko > I'm not sure if it's useful. If you need to write wiki:Getting-started-with-development it's likely that you have already opened the wiki to copy the page name, might as well paste the full url 16:12:22 < jpab > wiki:FAQ, wiki:[Active Discussions] 16:12:30 < jpab > kko: true 16:13:27 < jpab > speaking of wiki, wikipedia is being sloooooooooooooow (or down) at the moment 16:13:49 < robn > I could build in a wiki search. its just a github repo 16:13:55 < robn > that would take a bit more time to do well 16:14:52 < jpab > I suppose github can ping the bot when the wiki changes? 16:15:23 < jameson > [ Issues · robn/jameson · GitHub ] 16:15:40 < robn > actually I'm not sure if you can add service hooks for wiki repos 16:15:53 < robn > not that github is reliable for that anyway 16:16:08 < robn > I'm planning to have the repos checked out and update them every N 16:16:23 < robn > for small N