[jbosstools-dev] On the topic of useful PR title/descriptions and git commit messages