That's great, thank you! On Mon, 15 Mar 2021 at 14:42, Yoann Rodiere <yo...@hibernate.org> wrote:
> Hello everyone, > > I just deployed a GitHub bot on our infrastructure. The purpose of this bot > is to run basic checks on pull requests, so that contributors know right > away if something needs to be changed, without having to wait for a human > to take the time to review. And to avoid oversights for some boring, but > nevertheless important rules. > > You can see a few failing checks in this playground project: > > - > > https://github.com/yrodiere/hibernate-github-bot-playground/pull/6/checks > - https://github.com/yrodiere/hibernate-github-bot-playground/pull/6 > > Pull requests failing these checks can still be merged ; the checks are > only here to help, not to enforce anything. So if you need to merge a few > commits that do not mention a JIRA ticket (e.g. changes in github > workflows), you can still do it. > > The checks are obviously very simple. At the moment, we check: > > - That the pull request title has at least two words > - That the pull request title doesn't end with a dot or ellipsis (they > are a sign that the title may be incomplete) > - That every commit message starts with a JIRA ticket key. > - That the pull request title/description mentions all JIRA ticket keys > mentioned in commit messages. > > We can definitely work on adding more checks, or tuning the existing > checks. Please create issues here: > https://github.com/hibernate/hibernate-github-bot/issues > > The bot is currently only enabled on Hibernate Search and Hibernate ORM. If > you want to enable it on other projects, please follow instructions here: > > https://github.com/hibernate/hibernate-github-bot/#enabling-the-bot-in-a-new-repository > > To anyone interested, the bot was implemented using Quarkus and Guillaume's > GitHub extension: https://github.com/quarkiverse/quarkus-github-app > > Cheers, > > > Yoann Rodière > Hibernate Team > yo...@hibernate.org > _______________________________________________ > hibernate-dev mailing list -- hibernate-dev@lists.jboss.org > To unsubscribe send an email to hibernate-dev-le...@lists.jboss.org > %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s _______________________________________________ hibernate-dev mailing list -- hibernate-dev@lists.jboss.org To unsubscribe send an email to hibernate-dev-le...@lists.jboss.org %(web_page_url)slistinfo%(cgiext)s/%(_internal_name)s
