W3C home > Mailing lists > Public > www-style@w3.org > June 2013

Re: Github mirror: how does it work?

From: Tab Atkins Jr. <jackalmage@gmail.com>
Date: Tue, 25 Jun 2013 12:14:34 -0700
Message-ID: <CAAWBYDA8+CyBgq2NNobb28dP4_eJbtQWAqZ3J2ry_ziheQE07g@mail.gmail.com>
To: Peter Linss <peter.linss@hp.com>
Cc: Dimitri Glazkov <dglazkov@google.com>, "www-style@w3.org" <www-style@w3.org>, Arthur Barstow <art.barstow@nokia.com>, Charles McCathie Nevile <chaals@yandex-team.ru>
On Tue, Jun 25, 2013 at 11:20 AM, Peter Linss <peter.linss@hp.com> wrote:
> I've been exploring what it would take to make the bridge bi-directional, allowing pushing to either repository. There have been some attempts which work for simple cases, but there are gotchas dealing with branches...

We shouldn't worry about branches - only the master branch should be
canonical.  Ideally, we should reject pushing non-master branches to
the repo.

Received on Tuesday, 25 June 2013 19:15:21 UTC

This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:31 UTC