A PR was merged into master, but the release failed and a decision to roll back was made. You reverted back to a safe commit, but the tip of master no longer reflects the tr