Traister101

Github outside of hosting the actual git repo largly just provides good routes for collaboration, namely issues, their PR system and some convenient rules on who is allowed to mess with branches and how (IE you can set master to only accept merges done via github themselves). CI is the real lock in far as your git repo is concerned cause that just won’t work at all on another host

Heh, sucker’s more free pencils for me

Okay? I’m well aware. I do so all the time

/ is used to separate the same branch in different repos. For example origin/main and remote/main. Surprising that the other stuff is legal though