Prefer "Bug#1234" in commit messages