update for rename of users/jondowland.mdwn to users/jon.mdwn

diff --git a/doc/tips/untrusted_git_push/discussion.mdwn b/doc/tips/untrusted_git_push/discussion.mdwn
index e85625a1b9b142406e4dbb4d1307009f43297a7b..d95c01ecffcf1f38e959f69038f8ed2d3cd4ef33 100644 (file)
--- a/doc/tips/untrusted_git_push/discussion.mdwn
+++ b/doc/tips/untrusted_git_push/discussion.mdwn
@@ -24,10 +24,10 @@ Note that the user for the commit is 'jon', and the link points at cgi to
 create users/jon. I was wondering if that is configurable for users pushing
 via git. It would be nice perhaps to specify it in some way, perhaps via a
 git-config setting (user.name?). I'm not too familiar with exactly what the
-changeset contains. -- [[JonDowland]]
+changeset contains. -- [[users/Jon]]
 
 > All ikiwiki can do it look at who git has recorded as the author of
 > the change (and it looks at the username part of the email address).
 > You can set `user.email` in `.git/config`. --[[Joey]]
 
-> > Ah, excellent. In which case this *should* DTRT... -- [[JonDowland]]
+> > Ah, excellent. In which case this *should* DTRT... -- [[users/Jon]]