manual change to fix github repository ordering

a somewhat unwanted change after encountering an error for migrating away from the "master" branch