Skip to content

ci: open OG card updates as a pull request from the web bot - #98

Merged
datlechin merged 1 commit into
mainfrom
ci/og-cards-bot-pr
Oct 10, 2026
Merged

datlechin merged 1 commit into
mainfrom
ci/og-cards-bot-pr

Conversation

@datlechin

Copy link
Copy Markdown
Member
  • og.yml runs in the web-bot environment; its GITHUB_TOKEN drops to contents: read.
  • Replaces the direct push to main (git-auto-commit) with a tablepro-web-bot token and create-pull-request on bot/og-cards: signed commit, only public/og/** and public/og.png.
  • Pins checkout v7.0.1, create-github-app-token v3.2.0 and create-pull-request v8.1.1 to commit SHAs.
  • docs/deployment.md: new "The web bot" section (permissions, credentials, rotation, no ruleset bypass); the social cards steps now say the workflow opens a PR.
  • WorkflowsTest: no workflow gives GITHUB_TOKEN write access, and every create-pull-request step takes its token from an earlier create-github-app-token step.

@datlechin
datlechin merged commit 912b224 into main Oct 10, 2026
4 checks passed
@datlechin
datlechin deleted the ci/og-cards-bot-pr branch October 10, 2026 07:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant