- From: Jussi Kalliokoski <jussi.kalliokoski@gmail.com>
- Date: Thu, 27 Dec 2012 19:35:57 +0200
- To: Marcos Caceres <w3c@marcosc.com>
- Cc: Chris Wilson <cwilso@google.com>, "public-audio@w3.org" <public-audio@w3.org>
- Message-ID: <CAJhzemXYxDj23NH4-7u3uk76vzg+aoyvfA1smsHk0RaoZB_9pA@mail.gmail.com>
Hmm, actually the solution isn't all that good. The ID links are broken, and there seems to be a lag to updating. We'll have to think of something better, perhaps we can host some kind of a proxy (that applies the valid content-type) under W3C somehow? Cheers, Jussi On Wed, Dec 26, 2012 at 11:51 PM, Marcos Caceres <w3c@marcosc.com> wrote: > > > On 26 Dec 2012, at 21:36, Jussi Kalliokoski <jussi.kalliokoski@gmail.com> > wrote: > > On Wed, Dec 26, 2012 at 11:20 PM, Chris Wilson <cwilso@google.com> wrote: > >> That link gives me: >> > > This one? > http://htmlpreview.github.com/?https://raw.github.com/WebAudio/web-midi-api/master/specification.html > > Weird. It works for me (TM) on every device, browser and internet > connection I tried. > > > Works for me too. Above solution seems good. > > > >> Error: Cannot load file >> https://raw.github.com/WebAudio/web-midi-api/master/specification.html >> >> gh-pages are handy, but they're a branch, which is kind of a pain. >> > > Yeah, without a post-receive hook or something it would be annoying to > have to maintain two branches that would contain pretty much identical > info. But that link *should* work, and if not, a bug should probably be > filed against GH. > > Cheers, > Jussi > > >> >> >> On Wed, Dec 26, 2012 at 1:17 PM, Jussi Kalliokoski < >> jussi.kalliokoski@gmail.com> wrote: >> >>> On Wed, Dec 26, 2012 at 11:13 PM, Marcos Caceres <w3c@marcosc.com>wrote: >>> >>>> >>>> >>>> On 26 Dec 2012, at 20:45, Chris Wilson <cwilso@google.com> wrote: >>>> >>>> Of course, this does mean we lose having a consistently-updated public >>>> editor's draft that is directly navigable (i.e. >>>> https://dvcs.w3.org/hg/audio/raw-file/tip/midi/specification.html). >>>> Should we upload occasional editor drafts there? >>>> >>>> >>>> Using a gh-pages branch on GH can serve the same purpose as it provides >>>> a stable link. >>>> >>>> That avoids duplication of docs on hg and GH and should keep everyone >>>> happy. It's a kinda similar model to what the HTMLWG uses with their "HTML >>>> Nightly" builds. >>>> >>> >>> Actually, in the README there's a link to the consistently updated >>> preview of the latest master document. No need for gh-pages or anything. >>> This should serve the same purpose and I think we should change the HG >>> document to a page that says that the latest editor's draft has moved to >>> the new URL. >>> >>> Cheers, >>> Jussi >>> >>> >>>> >>>> >>>> On Wed, Dec 26, 2012 at 9:12 AM, Chris Wilson <cwilso@google.com>wrote: >>>> >>>>> OK. I'm going to attack a few of our bugs today, so I'll work in >>>>> there. >>>>> >>>>> >>>>> On Wed, Dec 26, 2012 at 8:57 AM, Jussi Kalliokoski < >>>>> jussi.kalliokoski@gmail.com> wrote: >>>>> >>>>>> On Wed, Dec 26, 2012 at 1:02 AM, Chris Wilson <cwilso@google.com>wrote: >>>>>> >>>>>>> I'm generally okay either way - I'd be happy to dump Mercurial, >>>>>>> since this is the only project I use Hg for, and am much more comfortable >>>>>>> using Github - although the issues are a lot less powerful, I don't think >>>>>>> we necessarily need that power for this project. Obviously, I'd want it in >>>>>>> an organization that the editors can check directly into. >>>>>>> >>>>>> >>>>>> Like said, Marcos already created such an org and you're a member in >>>>>> it. :) Also, I just converted our Hg repo to git and cherry-picked the Web >>>>>> MIDI API spec, so I have created a repo to the WebAudio org, preserving the >>>>>> history of the Web MIDI spec, but nothing else: >>>>>> https://github.com/WebAudio/web-midi-api >>>>>> >>>>>> The issues are still disabled, I'll use my script as soon as we >>>>>> decide on this and manage to lock the Bugzilla. >>>>>> >>>>>> Cheers, >>>>>> Jussi >>>>>> >>>>>> >>>>>>> That said, 1) we'd need to lock the Bugzilla, or keep it synced, 2) >>>>>>> I'm not sure if Chris would want to do this for the web audio spec or not. >>>>>>> >>>>>>> >>>>>>> On Tue, Dec 25, 2012 at 2:08 PM, Marcos Caceres <w3c@marcosc.com>wrote: >>>>>>> >>>>>>>> >>>>>>>> >>>>>>>> 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 Thursday, 27 December 2012 17:36:30 UTC