Original PR and its "Forwarded PR" were not merged even if "autogits-devel" pushed its content #110
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?
In an environment with "pr" and "direct" bots enabled:
Few strange things that happened here:
45a48a5c7bIn the end, as mentioned, both PRs were manually closed "without merging" but the changes got already in both repos (package and project repos).
Moving this issue to GitHub: https://github.com/openSUSE/openSUSE-git/issues/219
Closing issue