michaelh/zephyr
1
0
Fork 0
Code Releases Activity

doc: Move subsection on "Stale" label to the right place

Browse source 
Label "Stale" is used for both issues and pull requests. It is currenly
listed as applicaple to pull requests only, however. Move it to the
right place.

Signed-off-by: Aleksandar Markovic <aleksandar.markovic.sa@gmail.com>
This commit is contained in:
Aleksandar Markovic 2022-04-16 18:30:35 +02:00 • committed by Carles Cufí
commit ada4195834
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/project/dev_env_and_tools.rst
View file

@ -331,10 +331,6 @@ to ensure proper review. See :ref:`review process <review_time>`.
This PR should not be merged (Do Not Merge). For work in progress, GitHub
"draft" PRs are preferred.
* *Stale*
PR which seems abandoned, and requires attention by the author.
* *Needs review*
The PR needs attention from the maintainers.
@ -393,6 +389,10 @@ address an issue.
Blocked by another PR or issue.
* *Stale*
An issue or a PR which seems abandoned, and requires attention by the author.
* *In progress*
For PRs: is work in progress and should not be merged yet. For issues: Is being