.. ot-topic:: ecproposal.ec1.git Git Introduction ================ (See `here `__.) Learn how to use Git for basic tasks like * Cloning a repository * Creating commits (and possibly stashing away changes) * Pushing and pulling (and resolving conflicts) This should suffice for our purposes.