A corresponding repository to a Git demo