Scripts 🧮 Useful scripts for lazy people 🦥 Change Github user in VSCode Manage dump and restore with pgdumpres