Thanks to visit codestin.com
Credit goes to github.com

Skip to content

chore(db, model): separate methods to drop a device vs its files#10480

Draft
imsodin wants to merge 2 commits intosyncthing:mainfrom
imsodin:db-drop-dev-vs-index
Draft

chore(db, model): separate methods to drop a device vs its files#10480
imsodin wants to merge 2 commits intosyncthing:mainfrom
imsodin:db-drop-dev-vs-index

Conversation

@imsodin
Copy link
Member

@imsodin imsodin commented Dec 1, 2025

No description provided.

@github-actions github-actions bot added the chore label Dec 1, 2025
@imsodin imsodin force-pushed the db-drop-dev-vs-index branch from 8fdf0cd to ec6965c Compare December 1, 2025 22:39
@imsodin imsodin changed the title chore(db, model): separate methods to drop a device vs resetting it chore(db, model): separate methods to drop a device vs its files Dec 1, 2025
Co-authored-by: Marcus B Spencer <[email protected]>
Signed-off-by: Simon Frei <[email protected]>
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.

2 participants