Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Use the modern way of the GPL copyright header: URL instead real address | Javier Jardón | 2015-03-16 | 1 | -3/+2 |
| | | | | Change-Id: I992dc0c1d40f563ade56a833162d409b02be90a0 | ||||
* | tests: Use test: URL prefix instead of baserock: throughout | Sam Thursfield | 2012-11-07 | 1 | -2/+2 |
| | | | | | | | | | | Some tests already used test: and in order to be able to share the scripts/setup-3rd-party-strata script they need to all use the same prefix. Using baserock: implies that we are using real code from Baserock, so I picked test: because the tests only ever use mock morphologies and no real code. | ||||
* | Handle submodules in 'morph edit' | Sam Thursfield | 2012-10-03 | 1 | -0/+40 |
We often have .gitmodules edited to contain a URI such as upstream:gnulib, so that we can transparently mirror these in different locations. It would be nice to set up git url.insteadOf rules to expand these for the submodules, but 'git submodule update' uses 'git clone' to fetch them, which will not take into account the configuration of the parent repository. Instead, we set up the submodules automatically and rewrite the URLs directly in the configuration. The user will need to recreate their system branch checkouts if their URL configuration changes, or update the URLs manually, but that should not happen often. |