python-mastermind Mastermind: A repository to get students familiar with the git environment. (python)