# Scripts

Some useful shell scripts to maintain this repo.