We have recently changed our default branch from develop to master and deleted the develop branch. Now when we look at the status badge for our project using the default branch, we see “No Builds”. It appears as if CircleCI hasn’t updated the default branch and is still looking for develop?