summaryrefslogtreecommitdiff
path: root/sdk.write
diff options
context:
space:
mode:
authorSam Thursfield <sam.thursfield@codethink.co.uk>2014-03-14 17:15:28 +0000
committerSam Thursfield <sam.thursfield@codethink.co.uk>2014-03-14 17:15:28 +0000
commit3e73cebdb2ef8df99f416696d040e797b856cd24 (patch)
tree83d4ac0a715e5d1417ee711544ef900a254a263e /sdk.write
parent5c3cbd96b2d69b77909c4817e7c73dd3060f7f81 (diff)
downloaddefinitions-3e73cebdb2ef8df99f416696d040e797b856cd24.tar.gz
trove: Allow TROVE_HOSTNAME different to TROVE_ID
This is necessary for git.baserock.org, whose TROVE_PREFIX and TROVE_ID is 'baserock' but whose hostname certainly isn't.
Diffstat (limited to 'sdk.write')
0 files changed, 0 insertions, 0 deletions