Playground: do not index or crawl playground links with 'id'

- Added Disallow: /play/*?*id= to robots.txt For https://linear.app/usmedia/issue/CUE-289 Closes #439 as merged as of commit 77fe4b4. Signed-off-by: Anne van Gorkom <[email protected]> Change-Id: Icde885c5ee18e378cf42f57c51cad68c9b983727 Dispatch-Trailer: {"type":"trybot","CL":1172313,"patchset":1,"ref":"refs/changes/13/1172313/1","targetBranch":"alpha"}
cue-lang · Nov 17, 2023 · 6d60eca · 6d60eca
1 parent d2cfc31
commit 6d60eca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/hugo/layouts/robots.txt b/hugo/layouts/robots.txt
@@ -1,4 +1,5 @@
 User-agent: *
 Allow: /
+Disallow: /play/*?*id=
 
 Sitemap: {{ absURL "sitemap.xml" }}