Configure repo to not spam with commits in draft merge requests and do not trigger CI #108
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?
I though github already does that, but apparently they don't (again?).
CI has to be configured accordingly.
See https://github.com/gitpod-io/workspace-images/pull/204#issuecomment-615445331