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.

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

Use GITHUB_TOKEN to limit GitHub API rate-limiting #834

Merged
merged 2 commits into from
Feb 18, 2025
Merged

Use GITHUB_TOKEN to limit GitHub API rate-limiting #834

merged 2 commits into from
Feb 18, 2025

Conversation

BMurri
Copy link
Collaborator

@BMurri BMurri commented Feb 13, 2025 •
edited
Loading

@BMurri BMurri mentioned this pull request Feb 14, 2025
Merged
@BMurri BMurri requested review from jsaun and MattMcL4475 February 14, 2025 02:42
@BMurri BMurri marked this pull request as ready for review February 14, 2025 02:42
@BMurri BMurri added this to the next milestone Feb 14, 2025
@BMurri BMurri added Robustness Enable users can run tasks w/o bugs or with mitigation of known bugs Deployability Enable TES is easy to deploy for end users labels Feb 14, 2025
@BMurri BMurri merged commit c91e6e0 into main Feb 18, 2025
6 checks passed
@BMurri BMurri deleted the bmurri/github-token branch February 18, 2025 18:27
BMurri added a commit that referenced this pull request Feb 27, 2025
@BMurri
Use GITHUB_TOKEN to limit GitHub API rate-limiting (#834)
f655ce6
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jsaun jsaun jsaun approved these changes

@MattMcL4475 MattMcL4475 Awaiting requested review from MattMcL4475

Assignees
No one assigned
Labels
Deployability Enable TES is easy to deploy for end users Robustness Enable users can run tasks w/o bugs or with mitigation of known bugs
Projects
None yet
Milestone
next
Development

Successfully merging this pull request may close these issues.
2 participants
@BMurri @jsaun