The Workbench 2020-07
there is now https://github.com/spec-files-extra/ as a future home for the spec-files-extra repository.
The plan is, to setup a sync between the existing sourceforge repository and github. The future master will be github with all its features that should help with collaboration. The old sourceforge repo will still be kept in sync, but will be set to read-only.
Call for help: If you already have practise with linking a github repository to sourceforge, then please let me know.