GIT for the automata lab website