Verify that pull request titles start with a ticket ID - View it on GitHub