Skip to content

Conversation

@Tom-van-Woudenberg
Copy link
Member

Only needed for submodules

@Tom-van-Woudenberg
Copy link
Member Author

Tom-van-Woudenberg commented Mar 21, 2025

@Tom-van-Woudenberg Tom-van-Woudenberg merged commit 9bc0695 into main Mar 22, 2025
@Tom-van-Woudenberg Tom-van-Woudenberg deleted the 75-private-instructions-with-gh_pat-not-needed branch March 22, 2025 06:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Private instructions with GH_PAT not needed

2 participants