Closed mimi89999 closed 7 years ago
Resolves #73
Should work. (At least I hope so)
It is nicer in the git log if PRs are merged without the merge commit. That is available in the merge menu...
Resolves #73
Should work. (At least I hope so)