Learn more about these different git repos.
Other Git URLs
1173590
add -f, -d options to clean and --follow-tags to push * this options are useful if the respective git configuration variables are set to False