Make jj rebase --skip-empty
keep already empty commits#3143
Merged
martinvonz merged 3 commits intomain from push-plyyznpvostsFeb 26, 2024
+102-46
jj rebase --skip-empty
keep already empty commits#3143