From 2798b64b09731fd65b3101e207e9f8fb8fabb671 Mon Sep 17 00:00:00 2001 From: Alya Abbott Date: Tue, 1 Oct 2024 15:56:24 -0700 Subject: [PATCH] contributor docs: Clarify how to ask for an issue to be assigned. --- CONTRIBUTING.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8147d1c767..05e330ab30 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -297,9 +297,10 @@ labels. issue. After that, sure! If [Zulipbot](https://github.com/zulip/zulipbot) does not allow you to claim an issue, you can post a comment describing the status of your - other work on the issue you're interested in, and asking for the - issue to be assigned to you. Note that addressing feedback on - in-progress PRs should always take priority over starting a new PR. + other work on the issue you're interested in (including links to all open + PRs), and asking for the issue to be assigned to you. Note that addressing + feedback on in-progress PRs should always take priority over starting a new + PR. - **I think my PR is done, but it hasn't been merged yet. What's going on?** 1. **Double-check that you have addressed all the feedback**, including any comments on [Git commit