Introduced by f20eadcb, meant to remove
refs from Git using the wrong name. That never made it to a non-rc
release and can be safely removed now.