[DEV] Topic to Github issues

March 03, 2016, 03:08:46 am

Quick description: allows to publish a topic as a github issue, and all the answers as comments (actually, it could be nice to let any one message as an issue, but seems rather overkill).

At the moment it's a one-way integration, to be expanded with some feedback from Github (e.g. when the issue is closed post back in the topic that the bug has been fixed).

The buttons appear in the message "more" dropdown if the message has not been pushed yet.
If the topic already have a corresponding issue, then the number appears in the topic buttons at the top (yeah, I know not a lot of visibility, but it was the fastest way and the one that needed less styling

<= improvements welcome

) with the classic reference #123.

That's all for now I guess.
No package yet because it's not finished, just barely working (see issues at github).

https://github.com/emanuele45/GithubIssues

ETA: just thinking out loud, this could be the base to have a "push addon/theme live" in the respective boards. There is to think a bit about how it should work in respect to pull requests, but it should be doable!

ETA2: added permissions and fixed the check on non-existing issues.