[#2029] Add lint branch name via command line.