one more little edit to git vs. github