Dev branch now public

The old dev branch is now default public branch. The old public branch is now devs branch, kept around for legacy.