diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini
index 4d2031c5de23..b76d82ca868a 100644
--- a/options/locale/locale_en-US.ini
+++ b/options/locale/locale_en-US.ini
@@ -971,6 +971,7 @@ pulls.tab_files = Files Changed
pulls.reopen_to_merge = Please reopen this pull request to perform a merge.
pulls.cant_reopen_deleted_branch = This pull request cannot be reopened because the branch was deleted.
pulls.merged = Merged
+pulls.merged_as = The pull request has been merged as %[2]s
.
pulls.has_merged = The pull request has been merged.
pulls.title_wip_desc = `Start the title with %s to prevent the pull request from being merged accidentally.`
pulls.cannot_merge_work_in_progress = This pull request is marked as a work in progress. Remove the %s prefix from the title when it's ready
diff --git a/templates/repo/issue/view_content/pull.tmpl b/templates/repo/issue/view_content/pull.tmpl
index 7bb3c912751c..f0e39d5e37a5 100644
--- a/templates/repo/issue/view_content/pull.tmpl
+++ b/templates/repo/issue/view_content/pull.tmpl
@@ -49,7 +49,12 @@