Skip to content

use main tag by default#25

Merged
jackjohn7 merged 1 commit intomainfrom
jack/use-main-by-default
Nov 11, 2025
Merged

use main tag by default#25
jackjohn7 merged 1 commit intomainfrom
jack/use-main-by-default

Conversation

@jackjohn7
Copy link
Copy Markdown
Member

@jackjohn7 jackjohn7 commented Nov 8, 2025 •
edited
Loading

  • use main tag by default
  • ignore variants of the server now since we'll be removing them soon enough

@jackjohn7 jackjohn7 self-assigned this Nov 8, 2025
@jackjohn7 jackjohn7 merged commit 0ca1e65 into main Nov 11, 2025
14 checks passed
@jackjohn7 jackjohn7 deleted the jack/use-main-by-default branch November 11, 2025 04:56
@jackjohn7 jackjohn7 restored the jack/use-main-by-default branch April 15, 2026 04:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@funnyboy-roks funnyboy-roks funnyboy-roks approved these changes

Assignees

@jackjohn7 jackjohn7

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@jackjohn7 @funnyboy-roks