summaryrefslogtreecommitdiff
path: root/doc/tips
diff options
context:
space:
mode:
authorJon Dowland <jondowland@alcopop.org>2008-11-10 23:38:45 +0000
committerJon Dowland <jondowland@alcopop.org>2008-11-10 23:38:45 +0000
commit17731892ec458ee6b1b68ce62bf30ad129c87e79 (patch)
tree9d7d1c7195fa9246106323636efbd3deff050b95 /doc/tips
parent81a87988c4aa0eb95f83dffe0af08de6cf103cb0 (diff)
reply
Diffstat (limited to 'doc/tips')
-rw-r--r--doc/tips/untrusted_git_push/discussion.mdwn2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/tips/untrusted_git_push/discussion.mdwn b/doc/tips/untrusted_git_push/discussion.mdwn
index d433d61d4..e85625a1b 100644
--- a/doc/tips/untrusted_git_push/discussion.mdwn
+++ b/doc/tips/untrusted_git_push/discussion.mdwn
@@ -29,3 +29,5 @@ changeset contains. -- [[JonDowland]]
> 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]]