Document deployment details #3
Reference in New Issue
Block a user
Delete Branch "%!s()"
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?
Will need to document:
Deployment: https://wiki.pkm.physik.tu-darmstadt.de/doku.php/admin:servers:pod1#he-database
TLDR: