Skip to content

Dump summary of each docset to a file - #54

Merged
michaelblyons merged 1 commit into
SublimeText:masterfrom
michaelblyons:db-dump
May 2, 2026
Merged

Dump summary of each docset to a file#54
michaelblyons merged 1 commit into
SublimeText:masterfrom
michaelblyons:db-dump

Conversation

@michaelblyons

Copy link
Copy Markdown
Collaborator

See #52

@michaelblyons
michaelblyons merged commit 2a2f344 into SublimeText:master May 2, 2026
1 check passed
@michaelblyons
michaelblyons deleted the db-dump branch June 11, 2026 22:15
@michaelblyons

Copy link
Copy Markdown
Collaborator Author

@maliayas A ping just in case you're interested: We now keep a record of our rules' effect on the documentation index. This also makes it a summary of additions and removals when your spider detects them. Unfortunately, it came too late for your last diff, but it might be interesting in the future.

Thanks again for your spider's tracking!

@maliayas

maliayas commented Aug 7, 2026

Copy link
Copy Markdown

@maliayas A ping just in case you're interested: We now keep a record of our rules' effect on the documentation index. This also makes it a summary of additions and removals when your spider detects them. Unfortunately, it came too late for your last diff, but it might be interesting in the future.

Cool!

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.

3 participants