Scripts 馃М Useful scripts for lazy people 馃Ε Change Github user in VSCode Manage dump and restore with pgdumpres