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?
