diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-09-23 14:15:13 +0000 |
---|---|---|
committer | Baserock Gerrit <gerrit@baserock.org> | 2015-11-21 23:52:46 +0000 |
commit | 948454110a3d6af4fedc0d292fcc1e48475cc7c5 (patch) | |
tree | 5e2ecbddd409aee51a1f18d65e6b0917aa8b0c4f /extensions | |
parent | 3407c6e93ad4006a1c9ea903df7173829152e4ad (diff) | |
download | definitions-948454110a3d6af4fedc0d292fcc1e48475cc7c5.tar.gz |
Migrate to definitions format version 7: add a DEFAULTS file
This is the DEFAULTS file embedded in
migrations/007-defaults-in-definitions.py, which is exactly the settings
that are also built into Morph.
I expect the DEFAULTS file used in definitions.git to change over time,
but we don't need to keep the one in
migrations/007-defaults-in-definitions.py in sync. People who have
forked definitions and want to keep their DEFAULTS in line with ours
should use `git merge`.
So it might seem like migrations/007-defaults-in-definitions script is
not useful (`git merge` could have handled adding DEFAULTS, too),
but we need to have a migration for *every* version so that you can
easily go from V1 to V10, or whatever, without having to do a 'git
merge' from definitions.git first.
Change-Id: Idf19c31da013eddcf2e1f165086e697ca1805498
Diffstat (limited to 'extensions')
0 files changed, 0 insertions, 0 deletions