Reflections on How to Use Git and GitHub