quarkus-github-bot
quarkus-github-bot copied to clipboard
A Quarkus-powered GitHub App to simplify issues and pull requests management in the Quarkus project.
Bumps `quarkus.version` from 3.9.3 to 3.10.0. Updates `io.quarkus:quarkus-bom` from 3.9.3 to 3.10.0 Release notes Sourced from io.quarkus:quarkus-bom's releases. 3.10.0.CR1 Major changes #36504 - Allow authentication mechanism selection for a REST...
When a PR is attached to an older milestone on backporting, we lose the milestone information because GH only allows to have one milestone per issue. I have no idea...
As Quarkus maintainers we often decide to close issues that perhaps invalid, out of date or lack proper information. While doing this, I noticed a user error on our part...
When a large PR is split into smaller chain of dependent PRs or if it is common for you to have a single change that spans several other pull requests...
I’m a little bit confused by what’s going on here, so would welcome some insight on why this fix is (apparently?) needed. When I run `mvn quarkus:dev`, I get 4...
This adds the `triage/needs-rebase` label (or removes it) on opened pull-requests, making it easier to find pull-requests that require a rebase to be merged
Hi, I have a project that automates releasing branch for quarkiverse extensions (https://github.com/jtama/quarkiverse-bot). The process is always the same : . Create a branch . Amend project.yaml file . Create...
This branch aims to add commands handling on pull request command. On a pull request comment, it : * check this is a comment on a pull request * the...
We could consider a scheduler job to check if PRs are mergeable. We would add a comment ONCE if not (or maybe once per sha?). We could use a hidden...