Posts tagged 'Git'

Mirroring Git repos

Here is a quick way to mirror a git repo from one remote to another. This is not only useful for mirroring but also for backups. The git clone --mirror git@gitlab.com/myuser/myrepo.git command will create a mirrored repo, which is pretty much like a bare repo …

Keeping home configuration in git

Having dotfiles from the $HOME directory in git is a great way to keep track of what’s going on with some of our most important config files. However just creating a plain git repo won’t play nice with other repos found further down in the home tree. Chances …