|
|
|
|
|
by sighingnow
1391 days ago
|
|
+1 for the feature of marking as merged, as in many projects, e.g., apache arrow, the pull requests are merged in a different way and all pull requests are showed as "closed" rather than "merged". It would cause some confusion for project management, I guess. |
|