W3C home > Mailing lists > Public > public-audio@w3.org > October to December 2012

Re: [Audio WG] Move to GitHub?

From: Jussi Kalliokoski <jussi.kalliokoski@gmail.com>
Date: Tue, 25 Dec 2012 23:59:55 +0200
Message-ID: <CAJhzemWB9L1iW1TM+2NO3CO2eKu1SFuP+C63AzHd-6U1qNu=LQ@mail.gmail.com>
To: public-audio@w3.org
On Mon, Dec 24, 2012 at 1:05 PM, Jussi Kalliokoski <
jussi.kalliokoski@gmail.com> wrote:

> Hey guys,
> Merry Christmas and stuff!
> Marcos Caceres suggested [1] that we move our projects to GitHub.
> Personally I think this would make things a lot easier, having simple pull
> requests, a nicer issue tracker, being able to simply cross-reference
> commits from issues and vice versa, etc.
> What does everyone think? Are there some potential problems with this? I
> know that moving the existing issues to GitHub would be a pain, but perhaps
> we can think of a nice script to do this for us.
> Anyway, Marcos has already created an organization for us on GitHub [2],
> in case we want to do this.

FWIW, as a Christmas gift to you guys, I wrote a script that exports
Bugzilla issues over to GitHub [1] (as well as a RESTful API wrapper for
Bugzilla, hahah). To test it, I applied it to the Web MIDI API issues,
which were added to my GH repo called webmidi-issues [2], you can check it
out to see whether you think the export quality is satisfactory.

[1] https://gist.github.com/4375613
[2] https://github.com/jussi-kalliokoski/webmidi-issues/issues


> Cheers,
> Jussi
> [1] http://lists.w3.org/Archives/Public/public-audio/2012OctDec/0778.html
> [2] https://github.com/WebAudio
Received on Tuesday, 25 December 2012 22:00:23 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:03:15 UTC