Closed rngadam closed 6 years ago
Fixes:
We don't delete branch, after it is successfully merged?
@xuyuji9000 I generally don't bother to. if anything, I want people to see examples of how to properly name their branches.
Fixes: