From f9524c3a52f5da03df6b1a1fad92587296b7e2d6 Mon Sep 17 00:00:00 2001 From: Aviv Keller Date: Tue, 17 Sep 2024 10:17:57 -0400 Subject: [PATCH] meta: add `linux` to OS labels in collaborator guide --- doc/contributing/collaborator-guide.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/contributing/collaborator-guide.md b/doc/contributing/collaborator-guide.md index 5c3b8d14ba8ce6..eb5ab19f8923e9 100644 --- a/doc/contributing/collaborator-guide.md +++ b/doc/contributing/collaborator-guide.md @@ -974,10 +974,9 @@ need to be attached anymore, as only important bugfixes will be included. ### Other labels * Operating system labels - * `macos`, `windows`, `smartos`, `aix` - * No `linux` label because it is the implied default + * `macos`, `windows`, `smartos`, `aix`, `linux`, etc. * Architecture labels - * `arm`, `mips`, `s390`, `ppc` + * `arm`, `mips`, `s390`, `ppc`, etc. * No `x86{_64}` label because it is the implied default ["Merge pull request"]: https://help.github.com/articles/merging-a-pull-request/#merging-a-pull-request-on-github