1379b7d5de · ripe-api.py: switch to a more generic shebang · Updated 3 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?