diff options
author | Lunny Xiao <xiaolunwen@gmail.com> | 2023-07-08 11:19:00 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-08 05:19:00 +0200 |
commit | 6375419468edc95fdfac94aac3b0e10b23743557 (patch) | |
tree | e104617051a314fa33e62ebcf7c149d0d0434b82 /options/locale | |
parent | e0a780d75b79233ceb97116b9ae8563a9942aff9 (diff) | |
download | gitea-6375419468edc95fdfac94aac3b0e10b23743557.tar.gz gitea-6375419468edc95fdfac94aac3b0e10b23743557.zip |
Newly pushed branches hints on repository home page (#25715)
This PR will display a pull request creation hint on the repository home
page when there are newly created branches with no pull request. Only
the recent 6 hours and 2 updated branches will be displayed.
Inspired by #14003
Replace #14003
Resolves #311
Resolves #13196
Resolves #23743
co-authored by @kolaente
Diffstat (limited to 'options/locale')
-rw-r--r-- | options/locale/locale_en-US.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index a0901451a2..58fd84308d 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -1767,6 +1767,8 @@ pulls.auto_merge_canceled_schedule_comment = `canceled auto merging this pull re pulls.delete.title = Delete this pull request? pulls.delete.text = Do you really want to delete this pull request? (This will permanently remove all content. Consider closing it instead, if you intend to keep it archived) +pulls.recently_pushed_new_branches = You pushed on branch <strong>%[1]s</strong> %[2]s + milestones.new = New Milestone milestones.closed = Closed %s milestones.update_ago = Updated %s |