Thank you for your comment, Mike.
It looks like I might have to expand this list! I could certainly include GitLab on the list. We have only been using it for a few weeks, so perhaps in a couple of months when I review this list, I will add our code repository of choice! That’s interesting using GitHub for wiki/docs.