fix branching and ticket selection
[gitlive] / INSTALL
2017-08-11 Alan Knowlessync