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