Explore projects

The Repo Publisher is a tool to automate the publication of selected files in a source repository to a target repository. It is designed for teaching, where the materials are developed in a private GitLab repository and regularly mirrored to a public repository for students.