what is the difference between git and github