The default branch is not updating after Github sync

After changing the default branch in my repo https://github.com/dominikwilkowski/cfonts the build in Travis still shows the old default branch https://travis-ci.org/github/dominikwilkowski/cfonts/branches. This also means the badge now doesn’t work (I would have to call out the branch specifically to “fix” it I guess)

I manually triggered Github sync a bunch of times already but no changes in four days now.
Anything else I can do?

Turns out if you use Chrome to sync instead of my default browser Firefox it works… mhhh… :smiley:

Imprint