Re: TBG and Github Issues

Yea, GitHub issues should be disabled. Keep it simple.


On Mon, Apr 29, 2013 at 3:15 AM, David Kirstein <frozenice@frozenice.de>wrote:

> 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
>
>