From fa4663e61e39f0cef225ea92235a16e7da977b08 Mon Sep 17 00:00:00 2001
From: Lauris BH <lauris@nix.lv>
Date: Fri, 7 Sep 2018 05:06:09 +0300
Subject: Add push webhook support for mirrored repositories (#4127)

---
 options/locale/locale_en-US.ini | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'options/locale')

diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini
index cd9895be19..9bd6f2e597 100644
--- a/options/locale/locale_en-US.ini
+++ b/options/locale/locale_en-US.ini
@@ -1663,6 +1663,9 @@ push_tag = pushed tag <a href="%s/src/tag/%s">%[2]s</a> to <a href="%[1]s">%[3]s
 delete_tag = deleted tag %[2]s from <a href="%[1]s">%[3]s</a>
 delete_branch = deleted branch %[2]s from <a href="%[1]s">%[3]s</a>
 compare_commits = Compare %d commits
+mirror_sync_push = synced commits to <a href="%[1]s/src/%[2]s">%[3]s</a> at <a href="%[1]s">%[4]s</a> from mirror
+mirror_sync_create = synced new reference <a href="%s/src/%s">%[2]s</a> to <a href="%[1]s">%[3]s</a> from mirror
+mirror_sync_delete = synced and deleted reference <code>%[2]s</code> at <a href="%[1]s">%[3]s</a> from mirror
 
 [tool]
 ago = %s ago
-- 
cgit v1.2.3