The Daily Shaarli

All links of one day in a single page.

July 17, 2019

Note: Transférer un repo git d'un serveur à un autre

Sous le coude:

git clone --bare https://your-source-repo/repo.git
cd repo.git
git push --mirror https://your-destination-repo/repo.git