From b46bc3bf8522d02691dfe405b8a44708d7a95b40 Mon Sep 17 00:00:00 2001 From: worldofpeace Date: Fri, 25 Jan 2019 12:37:48 -0500 Subject: [PATCH] autotag Pantheon --- config.public.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/config.public.json b/config.public.json index 63504f2..9a1ec0a 100644 --- a/config.public.json +++ b/config.public.json @@ -134,6 +134,9 @@ "6.topic: nixos": [ "nixos" ], + "6.topic: pantheon": [ + "pkgs/desktops/pantheon" + ], "6.topic: policy discussion": [ ".github" ],