Resolves "gitdist: Add Default Development Branch Support#236

Merged

bartlettroscoe merged 3 commits intoTriBITSPub:masterfrom jmgate:235-gitdistAddDefaultDevelopmentBranchSupport

Nov 6, 2017

+166-10

Commits on Nov 2, 2017

gitdist: Add Default Development Branch... (TriBITSPub#235 )
jmgate
committed

Commits on Nov 3, 2017

Small changes to documentation (TriBITSPub#235 )
bartlettroscoe
committed
Add gitdist --dist-help=default-branch to developers guide (TriBITSPub#235 )
bartlettroscoe
committed