Skip to content

Remove bot allowlist from PR environments docs#1065

Merged
JakeCooper merged 1 commit intomainfrom
cooper/remove-bot-allowlist
Feb 24, 2026
Merged

Remove bot allowlist from PR environments docs#1065
JakeCooper merged 1 commit intomainfrom
cooper/remove-bot-allowlist

Conversation

@JakeCooper
Copy link
Copy Markdown
Contributor

Summary

  • Bot PR environments now work with any GitHub bot, not just a curated allowlist
  • Users already opt in via the Enable Bot PR Environments project setting, so the secondary allowlist was unnecessary
  • Replaced the explicit bot list with a note that it works with any GitHub bot

Companion to the backboard change removing SUPPORTED_EXTERNAL_BOTS.

🤖 Generated with Claude Code

Bot PR environments now work with any GitHub bot, not just a
curated list. Users already opt in via the project setting toggle.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@railway-app railway-app Bot temporarily deployed to *.railway.com / docs-pr-1065 February 24, 2026 06:09 Destroyed
@railway-app
Copy link
Copy Markdown

railway-app Bot commented Feb 24, 2026

🚅 Deployed to the docs-pr-1065 environment in 🪄 *.railway.com

Service Status Web Updated (UTC)
Docs Frontend ✅ Success (View Logs) Web Feb 24, 2026 at 6:10 am
5 services not affected by this PR
  • devicons
  • OG
  • Geofeed
  • Turnout
  • Blog

@JakeCooper JakeCooper merged commit 3486cd6 into main Feb 24, 2026
8 checks passed
@JakeCooper JakeCooper deleted the cooper/remove-bot-allowlist branch February 24, 2026 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant