Again this should have been taken care with the forced push, it can be that the PR didn't update or the push didn't went trough.