Re: [Audio WG] Move to GitHub?

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.


> 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 Wednesday, 26 December 2012 21:36:38 UTC