@jwildeboer
Do you include issue tracker/bug/whatever as part of the source code repository? Traditionally those were separate.

Because I think we should _have_ some issue system somehow attached to a source code repository without relying on a central third party server (like github/gitlab/…), and we don't have one.