Knowledge Base local_git_demo.md - Learn how to push a local working directory to a remote GIT repository