Skip to content

Conversation

@lwjohnst86
Copy link
Member

@lwjohnst86 lwjohnst86 commented Dec 15, 2024

synced local file(s) with rostools/r3-theme.

Changed files
  • synced local directory _extensions/rostools/r3-theme/ with remote directory _extensions/r3-theme/
  • synced local directory .github/workflows/ with remote directory .github/workflows/
  • synced local .gitignore with remote .gitignore

This PR was created automatically by the repo-file-sync-action workflow run #12340925352

@lwjohnst86 lwjohnst86 self-assigned this Dec 15, 2024
@lwjohnst86 lwjohnst86 merged commit 6b95932 into main Dec 15, 2024
@lwjohnst86 lwjohnst86 deleted the chore/default branch December 15, 2024 17:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

2 participants