A set of scripts to automatically configure git with DASL and GitHub repositories, useful interface tweaks, etc.