Improved Git Repositories

Revoking repository tokens gives immediate feedback

Revoking a Git repository token now updates the list in place and confirms the result with a notification.

The Revoke action on the Git repository token page now uses the shared confirmation dialog and AJAX feedback. After confirmation, the token is revoked on the server, removed from the list, and reported with a toast without reloading the page. The form still has a normal POST fallback when JavaScript is unavailable.