[git] How to discard local changes and pull latest from GitHub repository