Supplementary materials Working with Git Introduction to version control systems Remote repository Git in the Engee file browser Git in the Engee command line Working with Git on a personal computer External API in Engee External software interface for accessing Engee