[releng] Issue #6552 `Accidentally pushed branch to git`