Abbreviated aliases for git push.
Heroku management: push data/media, rotate backups
Ignore a couple generated things from fish.