The Delete Repository button now navigates to a confirmation page
asking 'Are you sure?' with Yes/No options. Only the Yes button
performs the actual delete POST. No JavaScript required.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>