]> source.dussan.org Git - gitea.git/commit
Make PR merge options more intuitive (#5863) (#16582)
authorAlbert ARIBAUD <aaribaud@users.noreply.github.com>
Mon, 2 Aug 2021 19:23:57 +0000 (21:23 +0200)
committerGitHub <noreply@github.com>
Mon, 2 Aug 2021 19:23:57 +0000 (20:23 +0100)
commita51cb3d4cbb1ff5072979cf84edd9b6d361adefd
treeefd7354ec8fd87fd87e9158ce5e900508a4f5c21
parent1fc7d6d6ad2fe85a28aff6dd14e41da8ee769f31
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.
options/locale/locale_en-US.ini