From bbb9f0ecab7533865923a5b98b808d85a0f3e5c9 Mon Sep 17 00:00:00 2001
From: Petr Baudis <pasky@ucw.cz>
Date: Tue, 10 Oct 2006 17:45:46 +0200
Subject: [PATCH] Pushy sshd now listens at port 22

---
 indextext.html | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/indextext.html b/indextext.html
index 18d1c97..0fcc6ba 100644
--- a/indextext.html
+++ b/indextext.html
@@ -32,14 +32,6 @@ Still, you are encouraged to try it out, try to break it,
 The service is maintained by <a href="mailto:pasky@suse.cz">Petr Baudis</a>,
 please contact him with any requests, proposals or issues.</p>
 
-<p><strong>Important:</strong> The push-taking sshd is currently running
-on port 222. I will move it to port 22 in the next day or two. Just add</p>
-<pre>
-Host repo.or.cz
-	Port 222
-</pre>
-<p>at the bottom of your <tt>~/.ssh/config</tt>.</p>
-
 <p><a href="m/regproj.cgi">[ Register your project ]</a> <a href="m/reguser.cgi">[ Register your user ]</a></p>
 <p><a href="m/p/editproj.cgi">[ Adjust project settings ]</a> <a href="m/p/delproj.cgi">[ Delete mirrored project ]</a></p>
 
-- 
2.11.4.GIT