Skip to content

Drop all maps other than byLocalTag#614

Merged
alexlivekit merged 5 commits intomainfrom
change-mapping
Mar 12, 2026
Merged

Drop all maps other than byLocalTag#614
alexlivekit merged 5 commits intomainfrom
change-mapping

Conversation

@alexlivekit
Copy link
Copy Markdown
Contributor

Were pretty much redundant.
This is a follow-up on #613

@alexlivekit alexlivekit requested a review from a team as a code owner March 12, 2026 07:35
@alexlivekit alexlivekit changed the title Droppes all maps other than byLocalTag Drop all maps other than byLocalTag Mar 12, 2026
@alexlivekit alexlivekit merged commit 99bbe3d into main Mar 12, 2026
6 checks passed
@alexlivekit alexlivekit deleted the change-mapping branch March 12, 2026 17:11
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