Skip to content

feat(commands): add mirror command#885

Merged
taciturnaxolotl merged 1 commit into
mainfrom
mirror-command
May 12, 2026
Merged

feat(commands): add mirror command#885
taciturnaxolotl merged 1 commit into
mainfrom
mirror-command

Conversation

@taciturnaxolotl
Copy link
Copy Markdown
Member

adds a new command to control mirror status

soft repo mirror <repo>              # get mirror status
soft repo mirror <repo> false        # disable mirror mode
soft repo mirror <repo> true         # enable mirror mode (requires remote URL)

@taciturnaxolotl taciturnaxolotl merged commit 16c8e08 into main May 12, 2026
13 of 14 checks passed
@taciturnaxolotl taciturnaxolotl deleted the mirror-command branch May 12, 2026 18:03
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.

1 participant