The CVS commit handler for the krbdev repository doesn't include the
branch tag name when a commit to a branch happens.