Skip to content
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.

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

Use default GitHub app token #557

Merged
merged 3 commits into from
Nov 18, 2024
Merged

Use default GitHub app token #557

merged 3 commits into from
Nov 18, 2024

Conversation

marbre
Copy link
Collaborator

@marbre marbre commented Nov 18, 2024

No description provided.

Copy link
Member

@ScottTodd ScottTodd left a comment

Choose a reason for hiding this comment

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

Oh. Nice if this works. Thanks!

@marbre
Copy link
Collaborator Author

marbre commented Nov 18, 2024

Oh. Nice if this works. Thanks!

It should and did when testing in my local fork. Also matches the documentation of the action, which says that the token "[..] is primarily useful if you want to use your personal token (for targeting other repos, etc)."

@marbre marbre enabled auto-merge (squash) November 18, 2024 16:43
@marbre marbre merged commit 6b5ff4a into nod-ai:main Nov 18, 2024
4 of 5 checks passed
@marbre marbre deleted the use-gh-token branch November 18, 2024 20:09
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.

2 participants