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
The point of pointing out that it’s a horse dewormer is that horses are a whole lot larger than us. Therefore their meds are stronger or they take larger doses. A lot of people took horse does of horse dewormer and literally shat out bits of their guts.