From f196cdacb50137e5c0cdbd146e38a319c94f0c33 Mon Sep 17 00:00:00 2001 From: Silvan Mosberger Date: Mon, 21 Aug 2023 17:21:00 +0200 Subject: [PATCH] this-month-in-nix-docs: Get both documentation labels for Nixpkgs --- maintainers/this-month-in-nix-docs/make-post.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/maintainers/this-month-in-nix-docs/make-post.sh b/maintainers/this-month-in-nix-docs/make-post.sh index 9a75882a0..f842f2722 100755 --- a/maintainers/this-month-in-nix-docs/make-post.sh +++ b/maintainers/this-month-in-nix-docs/make-post.sh @@ -68,6 +68,7 @@ echo echo "### NixOS/nixpkgs" list_merged_prs "nixos/nixpkgs" "6.topic: documentation" +list_merged_prs "nixos/nixpkgs" "8.has: documentation" echo echo "### NixOS/nix-pills"