How can I change the default branch on Travis CI?
For example, the project at https://travis-ci.org/xobs/toolchain-nextpnr-ice40/branches lists “add-nextpnr-ice40” as the default branch, but on https://github.com/xobs/toolchain-nextpnr-ice40 the default branch is “master”.
Is there a way to update the default branch? Failing that, is there a way to delete a repository from Travis CI and re-add it?