Wiki repository
Would it be possible to initialize the wiki for SPINS_main?
If I understand correctly, GitLab wikis can be maintained through separate repositories from the main project. This way we could push wiki changes without having to modify the SPINS repository.