From b448c9ce6d258be4f2e64073415bbcbf230cd9f3 Mon Sep 17 00:00:00 2001 From: Foivos Zakkak Date: Thu, 7 Nov 2024 14:33:07 +0200 Subject: [PATCH] Add Tip for stalled PRs Co-authored-by: Holly Cummins --- CONTRIBUTING.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 7a3c31e0d6ad9..4acd228b9de21 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -194,6 +194,12 @@ being merged. [GitHub Pull Request Review Process](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/about-pull-request-reviews) is followed for every pull request. +> [!TIP] +> We try to review and merge PRs promptly, and we have automation set up to catch stalled PRs. +> Even so, occasionally things fall through the cracks. +> In this situation, a good first step is to comment on the PR. +> If that doesn't work, asking on [the `dev` channel in zulip](https://quarkusio.zulipchat.com/#narrow/channel/187038-dev) is a good next step. + ### Coding Guidelines * We decided to disallow `@author` tags in the Javadoc: they are hard to maintain, especially in a very active project,