Are you sure you want to delete the =$url; ?> git repository? This action cannot be undone. *note*This will only delete the database entry, not the actual repo on the server.