diff options
author | Tianon Gravi <tianon@debian.org> | 2021-06-02 02:30:58 +0000 |
---|---|---|
committer | Laura Arjona Reina <larjona@debian.org> | 2021-06-04 13:09:46 +0000 |
commit | 82968214595db755ef0c09f5d6c1b11a6660b5cd (patch) | |
tree | d4fb25d45be886bab17a9aec045403a57baa4859 /english/mirror | |
parent | 54e7b1c853358a6c386f31e4ac3a5d90a6f3890f (diff) |
Fix minor typo in push_mirroring page
Diffstat (limited to 'english/mirror')
-rw-r--r-- | english/mirror/push_mirroring.wml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/english/mirror/push_mirroring.wml b/english/mirror/push_mirroring.wml index e7925fb6cb5..ee71a42da41 100644 --- a/english/mirror/push_mirroring.wml +++ b/english/mirror/push_mirroring.wml @@ -5,7 +5,7 @@ for changes to the archive to reach mirrors. The master server uses a triggering mechanism to immediately inform the client mirror that it needs to be updated.</p> -<p>Push mirroring takes a more effort to set up since the maintainers +<p>Push mirroring takes more effort to set up since the maintainers of the upstream and downstream mirror must exchange information. The benefit is that the upstream mirror initiates the mirror process immediately after its archive has been updated. This allows changes to the archive to |