slight edit to git vs. github post