record how to push local code onto github server