Skip to content

chore: clean up stale references to internal repo - #9

Merged
LKasianAnsys merged 4 commits into
mainfrom
maint/clean-up-stale-files
Aug 25, 2026
Merged

LKasianAnsys merged 4 commits into
mainfrom
maint/clean-up-stale-files

Conversation

@LKasianAnsys

@LKasianAnsys LKasianAnsys commented Aug 25, 2026 •

Copy link
Copy Markdown
Collaborator

Resolves #8

  • Clean up changelog files from the old internal repository.
  • Clean up doc references so they point to correct links (updated documentation URL+ stray project name references)
  • Fix any instances of the visor reposoitory URL

Note: Documentation URLs will change again once we configure the documentation cname.

@github-actions github-actions Bot added documentation Improvements or additions to documentation maintenance Operation not directly changing the production code - e.g., updating a devops pipeline test Work associated with testing labels Aug 25, 2026
@LKasianAnsys
LKasianAnsys requested a review from margalva August 25, 2026 18:15
@margalva margalva removed the test Work associated with testing label Aug 25, 2026
@LKasianAnsys
LKasianAnsys merged commit 8b27817 into main Aug 25, 2026
22 of 28 checks passed
@LKasianAnsys
LKasianAnsys deleted the maint/clean-up-stale-files branch August 25, 2026 18:49
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 maintenance Operation not directly changing the production code - e.g., updating a devops pipeline

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Clean up stale references to Theia repo after migration

3 participants