acu149458 add a "git tickets" operation to the git CLI command, to help us prepare for releases