diff options
author | Brecht Van Lommel | 2023-03-01 20:19:47 +0100 |
---|---|---|
committer | GitHub | 2023-03-01 14:19:47 -0500 |
commit | 545495dcb0a4cb9d820132dde4f1127f7fe91aa4 (patch) | |
tree | a32fbede82037eedbe977e9c5ae85288f65d54b7 /options | |
parent | 0268ee5c37b8ad733678f02bc15ec8642da62c10 (diff) |
Pull Requests: add button to compare force pushed commits (#22857)
To quickly see what changed without having to re-read the whole diff.
Diffstat (limited to 'options')
-rw-r--r-- | options/locale/locale_en-US.ini | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 2109950ca..1d1a0f588 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1470,6 +1470,7 @@ issues.error_removing_due_date = "Failed to remove the due date." issues.push_commit_1 = "added %d commit %s" issues.push_commits_n = "added %d commits %s" issues.force_push_codes = `force-pushed %[1]s from <a class="ui sha" href="%[3]s"><code>%[2]s</code></a> to <a class="ui sha" href="%[5]s"><code>%[4]s</code></a> %[6]s` +issues.force_push_compare = Compare issues.due_date_form = "yyyy-mm-dd" issues.due_date_form_add = "Add due date" issues.due_date_form_edit = "Edit" |