Skip to content

chore: remove properties infra#1253

Merged
whutchinson98 merged 1 commit intomainfrom
hutch/chore-remove-properties-service-infra
Jan 30, 2026
Merged

chore: remove properties infra#1253
whutchinson98 merged 1 commit intomainfrom
hutch/chore-remove-properties-service-infra

Conversation

@whutchinson98
Copy link
Copy Markdown
Member

No description provided.

@whutchinson98 whutchinson98 requested a review from a team as a code owner January 30, 2026 15:51
@github-actions github-actions bot added the infra label Jan 30, 2026
@whutchinson98 whutchinson98 merged commit 3c9b71c into main Jan 30, 2026
21 checks passed
@whutchinson98 whutchinson98 deleted the hutch/chore-remove-properties-service-infra branch January 30, 2026 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant