MPS issue job003980

TitleBranching tool does not distinguish between private and public Git mappings
Statusopen
Priorityoptional
Assigned userRichard Brooksby
OrganizationRavenbrook
DescriptionThe branching tool has an option "-g" for whether a branch should be registered with Git Fusion. This comes from Git Fusion 1, when all mappings were published. Now we have private and public repos. It should probably always register in the private repos, and the option should control publication.
Analysis1. Think about policy.
2. Separate private from public Git mapping concepts in the code.
3. Make the option and help text clearer about what it does.
How foundunknown
Evidence//info.ravenbrook.com/project/mps/master/tool/branch#13:282-291
Created byRichard Brooksby
Created on2016-03-11 14:45:40
Last modified byRichard Brooksby
Last modified on2016-03-11 14:45:40
History2016-03-11 RB Created.