- From: Doug Schepers <schepers@w3.org>
- Date: Sun, 28 Apr 2013 19:13:19 -0400
- To: Lea Verou <lea@w3.org>
- CC: public-webplatform@w3.org
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
Received on Sunday, 28 April 2013 23:13:26 UTC