02e4dd8c39 · Merge branch 'master' of https://gitea-s2i2s.isti.cnr.it/ISTI-ansible-roles/ansible-roles · Updated 2020-02-18 12:28:48 +01:00
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?