this-month-in-nix-docs: Get both documentation labels for Nixpkgs (#685)

NixOS · Aug 21, 2023 · ae22dc4 · ae22dc4
1 parent 122d2f2
commit ae22dc4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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"