The default settings and files that every new Agoric repository should (probably) have - View it on GitHub