Explaining pushing respository to github from local machine