always good to refresh the memory
https://stackoverflow.com/questions/2745076/what-are-the-differences-between-git-commit-and-git-push
always good to refresh the memory
https://stackoverflow.com/questions/2745076/what-are-the-differences-between-git-commit-and-git-push