Git demo repository This is a demo repository, used for the git tutorial that is presented during the course on Software Engineering. To run the tests: make tests