Use dev as the default branch for repo-status with plugins