A repository to get familiar with git