another possible commit name

diff --git a/doc/users/jon.mdwn b/doc/users/jon.mdwn
index 2fea7b4f6067af04c65d77d6f84e61fedd3438b1..f482c6967f3dac31d9b584e310aa03698c81aa43 100644 (file)
--- a/doc/users/jon.mdwn
+++ b/doc/users/jon.mdwn
@@ -5,6 +5,7 @@ sysadmins.
 
 * my edits should appear either as 'Jon' (if I've used
   [[tips/untrusted_git_push]]); 'jmtd.net', 'jmtd.livejournal.com', 
 
 * my edits should appear either as 'Jon' (if I've used
   [[tips/untrusted_git_push]]); 'jmtd.net', 'jmtd.livejournal.com', 

+  'jmtd' if I've forgotten to set my local git config properly,

   or once upon a time 'alcopop.org/me/openid/' or 'jondowland'.
 * My [homepage](http://jmtd.net/) is powered by ikiwiki
 
   or once upon a time 'alcopop.org/me/openid/' or 'jondowland'.
 * My [homepage](http://jmtd.net/) is powered by ikiwiki