Skip to content

Move mediawiki-exporter into historical directory#609

Merged
avivace merged 1 commit intogbdev:masterfrom
Rangi42:history
Jul 15, 2025
Merged

Move mediawiki-exporter into historical directory#609
avivace merged 1 commit intogbdev:masterfrom
Rangi42:history

Conversation

@Rangi42
Copy link
Copy Markdown
Contributor

@Rangi42 Rangi42 commented Jul 12, 2025

Fixes #325

This will make it somewhat easier to search for things without false positives:

% git grep SVBK | wc -l
      19
% git grep SVBK ':!historical' | wc -l
       8

(CI linkcheck still fails for tcrf.net; I did report the issue to Xkeeper a few days ago, she said she'd take a look at it. "It is almost certainly being blocked yeah, most cloud services have been.")

@avivace avivace merged commit a73b51f into gbdev:master Jul 15, 2025
2 of 3 checks passed
@Rangi42 Rangi42 deleted the history branch July 15, 2025 15:32
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.

Move historical folders to different branches?

2 participants