Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
bug #6 Close PR after rebased commits (peterrehm)
Discussion ---------- In case of a rebase according to #4 github does not detect the merge automatically. Tickets: - none Commits ------- - 28945f1 Close unmerged PR (peterrehm)
- Loading branch information