A git-shell based home directory for private git servers