Skip to content

ENG-546 reintroduce GITHUB_TOKEN #277

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 12, 2025
Merged

ENG-546 reintroduce GITHUB_TOKEN #277

merged 1 commit into from
Jul 12, 2025

Conversation

@maparent
Copy link
Collaborator

@maparent maparent commented Jul 12, 2025 •
edited by mdroidian
Loading

Was removed by mistake in ENG-539
#257

@linear
Copy link

linear bot commented Jul 12, 2025

ENG-546 Review decisions made in ENG-539

@maparent maparent requested a review from mdroidian July 12, 2025 20:06
@supabase
Copy link

supabase bot commented Jul 12, 2025

This pull request has been ignored for the connected project zytfjzqyijgagqxrzbmz because there are no changes detected in packages/database/supabase directory. You can change this behaviour in Project Integrations Settings ↗︎.

Preview Branches by Supabase.
Learn more about Supabase Branching ↗︎.

mdroidian
mdroidian approved these changes Jul 12, 2025
View reviewed changes
Copy link
Contributor

@mdroidian mdroidian left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@maparent I updated the original PR comment to include a link to the PR that reverts it. When PRs are linked like this, GitHub adds inline references to both, which helps future developers quickly see the relationship between them. If someone is viewing the original PR, they'll know it was reverted. And if they're viewing the revert PR, they’ll easily find the context of the original change. It’s a small habit that really helps with traceability—your future self will thank you! 😄

image

@maparent maparent merged commit de16079 into main Jul 12, 2025
3 checks passed
@github-project-automation github-project-automation bot moved this to Done in General Jul 12, 2025
@maparent maparent deleted the ENG-546-add-GITHUB-TOKEN branch July 12, 2025 23:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@mdroidian mdroidian mdroidian approved these changes

Assignees

No one assigned

Labels

None yet

Projects

No open projects
General
Status: Done

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@maparent @mdroidian