From 47ec7f3ecf043534f8b9183c5a552d259960d60b Mon Sep 17 00:00:00 2001 From: Henry Wright <84939917+HGWright@users.noreply.github.com> Date: Mon, 2 Oct 2023 16:11:49 +0100 Subject: [PATCH] updating docs and stale comment (#5522) --- .github/workflows/stale.yml | 2 +- .../developers_guide/contributing_documentation_easy.rst | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/stale.yml b/.github/workflows/stale.yml index 67b0515e8b..f363410347 100644 --- a/.github/workflows/stale.yml +++ b/.github/workflows/stale.yml @@ -46,7 +46,7 @@ jobs: If you still care about this issue, then please either: * Re-open this issue, if you have sufficient permissions, or - * Add a comment pinging `@SciTools/iris-devs` who will re-open on your behalf. + * Add a comment stating that this is still relevant and someone will re-open it on your behalf. # Comment on the staled prs while closed. close-pr-message: | diff --git a/docs/src/developers_guide/contributing_documentation_easy.rst b/docs/src/developers_guide/contributing_documentation_easy.rst index f54de628bf..51554f9e19 100755 --- a/docs/src/developers_guide/contributing_documentation_easy.rst +++ b/docs/src/developers_guide/contributing_documentation_easy.rst @@ -81,9 +81,9 @@ Describing what you've changed and why will help the person who reviews your cha .. tip:: If you're not sure that you're making your pull request right, or have a - question, then make it anyway! You can then comment on it tagging - ``@SciTools/iris-devs`` to ask your question (then edit your pull request if - you need to). + question, then make it anyway! You can then comment on it to ask your + question, then someone from the dev team will be happy to help you out (then + edit your pull request if you need to). What Happens Next? ^^^^^^^^^^^^^^^^^^