Albert ARIBAUD a51cb3d4cb Make PR merge options more intuitive (#5863) (#16582) ...

Reword options making clear whether the PRed branch is rebased or not, and which type of commit will be created if any.

2021-08-02 20:23:57 +01:00

151 KiB

Raw Blame History

View Raw