The ‘technologies’ will be replaced by their respective icons.
I’d change
- Github, … To
- Git, for version control
This assumes that OP actually meant git…
I fear they may have had no idea what the distinction between git and GitHub is and intended to say GitHub.
Because “Git” is the technology. GitHub is just one site that works with it.
There’s plenty of git forges that aren’t GitHub. Git itself has nothing to do with central servers and can theoretically be used in a completely decentralized manner.
At college some guys were self hosting a git server for a project but it went down. We resorted to a USB stick that acted as remote
and was passed around. That was awesome to see, for about a day…
Speaking from experience, in the past year, I’ve used 3 different hosting providers for git repositories at work. Only one of them is GitHub. It’s good to keep your options open - git isn’t locked to any particular provider, after all.