Update branching option to branch from another branch.#4531

Merged

theotherjimmy merged 3 commits intoARMmbed:masterfrom adbridge:update

Jun 29, 2017

+135-93

Commits on Jun 12, 2017

Update branching option to branch from another branch.
adbridge
committed

Commits on Jun 13, 2017

Remove remaining use of args.tag and replace with tag obtained from
adbridge
committed

Commits on Jun 21, 2017

Added template file for PR commit message plus minor review changes
adbridge
committed