fix issue with merge tickets and disable do merge unless action is chosen
[gitlive] / INSTALL
2017-08-11 Alan Knowlessync