Skip to content

Conversation

carlopi
Copy link
Contributor

@carlopi carlopi commented Apr 10, 2024

GITHUB_TOKEN is now available with restricted read-only capability, so I was making a review of the places where this was used, and this is the last remaining case.

I am not sure if GITHUB_PAT as a role anymore, or this can be safely removed.

Opening the PR to figure this out, also given the recent changes to duckdb/duckdb-r this looks more likely to be outdated.

@carlopi carlopi requested a review from Tmonster April 10, 2024 07:40
Copy link
Contributor

@Tmonster Tmonster left a comment

Choose a reason for hiding this comment

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

If CI is green this looks ok to me. I wonder how that snuck in there in the first place.

@Mytherin Mytherin merged commit 652756f into duckdb:main Apr 10, 2024
@Mytherin
Copy link
Collaborator

Thanks!

github-actions bot pushed a commit to duckdb/duckdb-r that referenced this pull request Apr 10, 2024
Merge pull request duckdb/duckdb#11585 from Mytherin/dbgenreadonly
Merge pull request duckdb/duckdb#11593 from carlopi/remove_github_pat
Merge pull request duckdb/duckdb#11577 from szarnyasg/update-issue-template2
Merge pull request duckdb/duckdb#11592 from Mytherin/drafttoken
@carlopi carlopi deleted the remove_github_pat branch May 7, 2024 08:12
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.

3 participants