- From: Michael Cooper <cooper@w3.org>
- Date: Wed, 19 Oct 2016 12:04:04 -0400
- To: ARIA Editors <public-aria-editors@w3.org>
- Message-ID: <b3dabf52-7598-ad29-9573-e1218ede2929@w3.org>
So far the repositories I've split from ARIA are using the common files
by referencing rawgit versions. This is not a good strategy; it's not
working in the github.io versions (presumably because of cross-domain
security restrictions), won't work in w3.org either without manual
editing, and is kinda clunky. I've brainstormed a few ways to address
this, each with pros and cons:
1. Split the common files into a standalone repository and make it a
submodule of the other repositories
* Pro - this is probably the "official" way to deal with
dependencies of this sort, and allows them to managed independently
* Con - we'd probably have to create a separate repository just
for the common files; I'm not sure if Github can update
dependencies from submodules without some extra kind of manual kick
2. Add some script to change the URIs of common resources, to
appropriate to the particular publication location
* Pro - minimal change to our current setup
* Con - have to write the script and have a copy in each repo
3. Add the main repository as a secondary "remote"
* Pro - easier to keep the common files up to date
* Con - not sure this works cleanly unless we still separate the
common files into a separate repo, any editor could make changes
that impact all the editors
4. Fork the common files into versions for each repository
* Pro - easiest path, and can evolve to suit each repo
* Con - they're forked and may diverge, so we lose benefit of
shared effort
Received on Wednesday, 19 October 2016 16:04:08 UTC