Skip to content

Replace sync script with Vercel deploy hook#2348

Merged
benjie merged 2 commits intosourcefrom
remove-sync-script
Mar 5, 2026
Merged

Replace sync script with Vercel deploy hook#2348
benjie merged 2 commits intosourcefrom
remove-sync-script

Conversation

@benjie
Copy link
Member

@benjie benjie commented Mar 5, 2026

We require PRs to merge to source, so the old way won't work. Even if it did; I think GitHub actions triggering a push prevents other actions from firing, so it might not trigger a deploy anyway. Let's just tell Vercel to redeploy via a hook.

@vercel
Copy link

vercel bot commented Mar 5, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
graphql-github-io Ready Ready Preview, Comment Mar 5, 2026 3:29pm

Request Review

@benjie benjie changed the title Remove sync script Remove sync GitHub action Mar 5, 2026
@benjie benjie enabled auto-merge (squash) March 5, 2026 15:04
@benjie benjie disabled auto-merge March 5, 2026 15:10
@benjie benjie force-pushed the remove-sync-script branch from 459d592 to 394b03d Compare March 5, 2026 15:14
@benjie benjie changed the title Remove sync GitHub action Replace sync script with Vercel deploy hook Mar 5, 2026
@benjie benjie force-pushed the remove-sync-script branch from 394b03d to 206e194 Compare March 5, 2026 15:16
@benjie benjie enabled auto-merge (squash) March 5, 2026 15:20
@benjie benjie merged commit d9ea246 into source Mar 5, 2026
5 of 6 checks passed
@benjie benjie deleted the remove-sync-script branch March 5, 2026 15:27
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