f43fa1d921 · Merge pull request 'April 2023 updates' (#8) from STR/hi_obs:master into master · Updated 2023-05-01 01:34:42 +00: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?
See in Reader