Skip to content

Improve Gerrit git aliases, adding support for % push options#123

Merged
felipecrs merged 1 commit intomasterfrom improve-gerrit-aliasesAug 15, 2024

Commits

Commits on Aug 15, 2024