Things-to-do-in-every-work-session.md

At the start of the work session

• Make sure that git is set for the correct person. (Use the git-user-gui.py on a shared PC).
• Make sure that you have the correct project.
• Make sure you are on the correct branch.
• Do a pull.

At the end of a work session

• Make sure that git is set for the correct person.
• Commit your work. Make sure that your name is on the commit.
• Push your work.
• Shutdown (not sleep) your PC.
• Put robot batteries on charger.