dev-ci #8
tormakris
commented 2020-05-08 19:33:58 +02:00
Owner
No description provided.
tormakris
referenced this issue from a commit 2020-05-08 19:34:12 +02:00
Merge pull request 'dev-ci' (#8) from dev-ci into master
tormakris
closed this pull request 2020-05-08 19:34:12 +02:00
tormakris
deleted branch dev-ci 2020-05-08 19:34:20 +02:00
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "dev-ci"
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?