AW: TBG and Github Issues

Hi,

that Github integration is only for commit messages that reference or close bugs. If we want to get Github issue updates, we'd have to use something from http://developer.github.com/v3/repos/hooks/ (either the normal JSON HTTP API or PubSubHubbub).

I can take a look at that, but first want to finish something for the wiki (be prepared!). We would need to think about if this should be a one way sync (Github -> TBG) or if we also want to update the Github issues if something in TBG changes. Maybe it's easier for now to disable the Github issues and point people to TBG or just handle them manually.

-fro

-----Ursprüngliche Nachricht-----
Von: Doug Schepers [mailto:schepers@w3.org] 
Gesendet: Montag, 29. April 2013 01:13
An: Lea Verou
Cc: public-webplatform@w3.org
Betreff: Re: TBG and Github Issues

Hi, folks-

Good catch, Lea.

I think we might be able to have the best of both worlds. If we can 
configure our instance of Bug Genie to accept bugs from Github via the 
API, we can let people file bugs in Github and deal with them in 
projects.webplatform.org, and maybe even write them back to Github's 
issue tracker so the original poster can see the response (or failing 
that, point the poster to our issue tracker). It seems that Bug Genie 
has at least rudimentary support for this already [1], though it's not 
clear how extensive or reliable it is.

I've raised an issue for this [2]. Is someone interested in driving this 
forward?

[1] http://thebuggenie.wordpress.com/2010/12/08/try-out-our-github-support/
[2] http://project.webplatform.org/prmg/issues/PRMG-18

Regards-
-Doug

On 4/28/13 9:26 AM, Lea Verou wrote:
> Hi all,
>
> We recently made a Github repo for our skins and MW extensions [1].
> People have started posting issues on the Github issues [2] there. Do we
> want to have two bug trackers to follow or should we point them to the
> bug genie? If we decide on the latter, we should disable Github issues
> and add a README.md that tells them where to report bugs. If we decide
> to do that, I could do it.
> I don’t have an opinion myself. On one hand we want to get the most
> feedback we can and if someone finds it easier to post on Github, good
> for us. On the other hand, it might get out of hand to have multiple bug
> trackers.
>
> [1]: https://github.com/webplatform/mediawiki
> [2]: https://github.com/webplatform/mediawiki/issues/1
>
> Lea Verou
> W3C developer relations
> http://w3.org/people/all#lea ✿http://lea.verou.me ✿ @leaverou