Everything seems to work. I have set up egit in eclipse and have
synchronized the repository completely.