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

Add Github integration to prepare for RTD injection removal for stable #2744

Merged
merged 1 commit into from
Sep 14, 2024

Conversation

sciencewhiz
Copy link
Collaborator

This should also set the edit on github to main, to reduce the number of PRs to stable

…ite#2743)

This should also set the edit on github to main, to reduce the number of
PRs to stable
@jasondaming jasondaming merged commit 16bce7e into wpilibsuite:stable Sep 14, 2024
10 of 11 checks passed
@sciencewhiz sciencewhiz deleted the GHMainStable branch September 14, 2024 21:54
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