How to set default branch

How can I change the default branch on Travis CI?

For example, the project at lists “add-nextpnr-ice40” as the default branch, but on 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?

That piece of data needs to be sync’d with GitHub. The synchronization is performed about once a day at this time, and some data might be out of sync. I triggered a sync for you, so the default branch should now be correct.

In the future, you can trigger sync manually at as well.