diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2020-10-28 18:08:49 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2020-10-28 18:08:49 +0300 |
commit | 77d49e6a73b3a1e142ec865d05dc3dd9a708ab6a (patch) | |
tree | 8b208f19500d18308b47807d6d2f58262752afaa /public | |
parent | 24e7d185395af41290e5622cad160b7efe230145 (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'public')
-rw-r--r-- | public/robots.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/robots.txt b/public/robots.txt index d4183c5cafb..9b943e6a1cb 100644 --- a/public/robots.txt +++ b/public/robots.txt @@ -23,6 +23,7 @@ Disallow: /users Disallow: /help Disallow: /s/ Disallow: /-/profile +Disallow: /-/ide/ # Only specifically allow the Sign In page to avoid very ugly search results Allow: /users/sign_in |