[SOLVED] Wiki edit history no longer synced with GitLab. (Yes, Tildes has its own built-in wiki!)
For those who are new to Tildes:
This site has quite a number of wiki pages which are maintained by volunteers (except the ~tildes.official wiki pages, which are the official documentation). Many of these community pages are now out of date, so it's a good time for people to poke around and make some changes.
For more information, including how to gain wiki editing privileges, see the announcement post from 2019.
A bit of advertising:
For those who don't know, I have been maintaining the Customizing Tildes page since 2020. It is the official successor of the Awesome Tildes project and has numerous suggestions for improving the Tildes experience using userscripts, userstyles, and uBlock Origin's filtering capabilities. Feel free to drop a message if there's something that needs to be added to the wiki.
The Actual Problem
Changes to the wiki are no longer syncing with the GitLab repository. The last commit on GitLab is from 2021!
Issue added to Gitlab:
https://gitlab.com/tildes/tildes/-/issues/751
And thanks for all your hard work maintaining the Customizing Tildes wiki page over the years, @synergy-unsterile!
Wiki issue should be fixed. https://gitlab.com/tildes/tildes-wiki repo should be updating properly now. Let me know if you spot any more problems, @synergy-unsterile.
… what changed, out of curiosity? I usually like to write something when closing issues if only to remind myself what the heck I did if I ever run into it again
@Deimos fixed it. No idea how. No new code commits, so probably something on the backend that got borked?
I checked and the code for pushing to a remote isn't in the Tildes source code, so my best guess is a cronjob was not running for whatever reason. Likely GitLab changed something about being able to access a repository.