Skip to content
Snippets Groups Projects
Jens Georg's avatar
Jens Georg authored
Not adding the repository as a remote simply makes it impossible to push
to it. Also this makes it mandatory to always fetch the changes from the
remote anyway since it is not locally mirrored.
44a3fde5
History