- From: Marcos Caceres <w3c@marcosc.com>
- Date: Tue, 25 Dec 2012 22:08:02 +0000
- To: Jussi Kalliokoski <jussi.kalliokoski@gmail.com>
- Cc: public-audio@w3.org
On Tuesday, 25 December 2012 at 21:59, Jussi Kalliokoski wrote: > On Mon, Dec 24, 2012 at 1:05 PM, Jussi Kalliokoski <jussi.kalliokoski@gmail.com (mailto: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). Awesomeness! > 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. Looks good to me… just a few minor things like things in "[…]" getting turned into links, but no big deal. > > [1] https://gist.github.com/4375613 > [2] https://github.com/jussi-kalliokoski/webmidi-issues/issues > > Cheers, > Jussi > > > 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:08:35 UTC