1me@mysite:/var/www/sites/mysite.local$ git push origin :v1.56 2To git@git-server:mysite.git 3- [deleted] v1.56

1git clone --bare https://example.com/repo.git 2cd repo.git 3git push --mirror https://remote-example.com/repo.git See https://help.github.com/articles/duplicating-a-repository/

1git log --graph --oneline --decorate --all

See https://www.devroom.io/2009/10/26/how-to-create-and-apply-a-patch-with-git/

See https://chrisjean.com/git-submodules-adding-using-removing-and-updating/

See http://gbayer.com/development/moving-files-from-one-git-repository-to-another-preserving-history/

See https://stackoverflow.com/questions/5533050/gitignore-exclude-folder-but-include-specific-subfolder