wiki sync Synchronize after commits: - replace relative links with absolute ones in docs to be usable in wiki - run tests as executables in Makefile - update github actions checkout version in format.yml - break too long line in wiki sync script - correct wiki bot username - fix wiki repo validity check on sync - correct auto-sync commit format - add wiki synchronization workflow, update sync script, make scripts executable - on wiki sync: automatically remove redundant headers and correct relative url paths - use rsync instead of cp for wiki sync, move script to scripts dir - add doc/README.md as a symbolic link - Create Home.md - check for changes before prompting for commit message when updating wiki - add script for updating wiki

actions-user committed Dec 15, 2025