starred/pocket-id-pocket-id-2
1
0
Fork 0
mirror of https://github.com/pocket-id/pocket-id.git synced 2025-12-11 07:32:57 +03:00
Code Issues 116 Packages Projects Releases 10 Wiki Activity

[PR #806] [MERGED] feat: add robots.txt to block indexing #618

New Issue
Closed
opened 2025-10-09 16:53:53 +03:00 by OVERLORD · 0 comments
OVERLORD commented 2025-10-09 16:53:53 +03:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/pocket-id/pocket-id/pull/806
Author: @Etienne-bdt
Created: 8/1/2025
Status: ✅ Merged
Merged: 8/2/2025
Merged by: @kmendell

Base: main ← Head: main

📝 Commits (1)

  • 806a979 feat: add robots.txt to block indexing

📊 Changes

1 file changed (+3 additions, -0 deletions)

View changed files

➕ frontend/static/robots.txt (+3 -0)

📄 Description

Linked to #766

Serve a robots.txt which forbids both exploring and indexing by crawlers of all user agent
Hopefully this should stop indexing.

Note : If any other user gets their site indexed they can edit search results and delete them via the google search console if they own the domain under which their instance is served.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/pocket-id/pocket-id/pull/806 **Author:** [@Etienne-bdt](https://github.com/Etienne-bdt) **Created:** 8/1/2025 **Status:** ✅ Merged **Merged:** 8/2/2025 **Merged by:** [@kmendell](https://github.com/kmendell) **Base:** `main` ← **Head:** `main` --- ### 📝 Commits (1) - [`806a979`](https://github.com/pocket-id/pocket-id/commit/806a9798f896d25d27cd34a72c3dded9961420a6) feat: add robots.txt to block indexing ### 📊 Changes **1 file changed** (+3 additions, -0 deletions) <details> <summary>View changed files</summary> ➕ `frontend/static/robots.txt` (+3 -0) </details> ### 📄 Description Linked to #766 Serve a robots.txt which forbids both exploring and indexing by crawlers of all user agent Hopefully this should stop indexing. Note : If any other user gets their site indexed they can edit search results and delete them via the google search console if they own the domain under which their instance is served. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
OVERLORD added the pull-request label 2025-10-09 16:53:53 +03:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
breaking
bug
documentation
feature
needs more upvotes
open to pull requests
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
OVERLORD
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/pocket-id-pocket-id-2#618
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?