|
|
|
|
|
|
by baq
291 days ago
|
|
|
The PRs are either small enough that it isn’t a problem or large enough that it isn’t a problem… the odd in-between PR experience sucks and it’s one of the cases when I sometimes add more commits instead of force pushing. +1 to sibling gerrit recommendation; I used to use it a decade ago and it was better then than GitHub PRs today. |
|
|