How to set default branch

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?

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 https://travis-ci.org/account/repositories as well.

Imprint