Today I Learned

As a developer, you frequently find yourself in the position when you forgot a certain syntax or you just want to see some quick code snippet to implement certain functionality. No need to google it now, you don't even need to leave your favorite terminal, welcome cheat.sh.

Usage:

curl cheat.sh/programming_language/query_string

curl cheat.sh/python/random+list+elements

Here is how I rename a tag old to new:

git tag new old
git tag -d old
git push origin :refs/tags/old
git push --tags

Finally, make sure that the other users remove the deleted tag. Please tell them (co-workers) to run the following command:

git pull --prune --tags