search

quarkusio / quarkus-github-bot

A Quarkus-powered GitHub App to simplify issues and pull requests management in the Quarkus project.
Apache License 2.0
22 stars 24 forks source link

Change bot comment to `<sub>` #335

Closed gastaldi closed 1 year ago

gastaldi commented 1 year ago

image