Skip to content

Conversation

@BeckerStS
Copy link
Member

Merged the README.md file from .github-private repo in order to finally delete the .github-private repo.

Merged the README.md file from .github-private repo in order to finally delete the  .github-private repo.
@BeckerStS BeckerStS requested a review from a team as a code owner September 9, 2025 13:11
@theBadT theBadT changed the title README merge from .github-private chore: Carries over information from the private frontpage to the public one Sep 11, 2025
@theBadT theBadT merged commit d6ddf43 into main Sep 11, 2025
2 checks passed
@theBadT theBadT deleted the BeckerStS-readme-merge branch September 11, 2025 09:49
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.

3 participants