Skip to content

Delete PreferencesInjector - #55

Merged
kcooney merged 1 commit into
mainfrom
kcooney/delete-preferences-injector
Sep 20, 2025
Merged

Delete PreferencesInjector#55
kcooney merged 1 commit into
mainfrom
kcooney/delete-preferences-injector

Conversation

@kcooney

@kcooney kcooney commented Sep 6, 2025

Copy link
Copy Markdown
Contributor

It is no longer used in the Robot2025 repo.

@kcooney
kcooney force-pushed the kcooney/delete-preferences-injector branch from 057b597 to 9b87732 Compare September 6, 2025 19:12

@spderman3333 spderman3333 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@kcooney
kcooney merged commit 845b5d5 into main Sep 20, 2025
2 of 3 checks passed
@kcooney
kcooney deleted the kcooney/delete-preferences-injector branch September 23, 2025 01:44
kcooney added a commit to Prospect-Robotics/Robot2025 that referenced this pull request Sep 24, 2025
kcooney added a commit to Prospect-Robotics/Robot2025 that referenced this pull request Sep 25, 2025
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