[#2029] Add lint branch name via command line.
Merge master.
Update release notes.