machines/magenta: enable robots for each repo...

exclude github mirrors
This commit is contained in:
Dmitriy Pleshevskiy 2023-03-03 10:52:13 +03:00
parent 673ef9eef9
commit 20cadb2638
Signed by: pleshevskiy
GPG key ID: 79C4487B44403985

View file

@ -7,7 +7,7 @@ let
robotsTxt = pkgs.writeText "robots.txt" ''
User-agent: *
Disallow: /
Disallow: /github
'';
in
{