# HG changeset patch
# User haftmann
# Date 1288361075 -7200
# Node ID 151fef6523243d1fab78d0e8c00479f6fc25ebc5
# Parent  af22d99f4446e4b852b4a560de53f9087abd2efa
added user aliasses (still unclear how to specify names with whitespace contained)

diff -r af22d99f4446 -r 151fef652324 Admin/churn
--- a/Admin/churn	Fri Oct 29 14:06:10 2010 +0200
+++ b/Admin/churn	Fri Oct 29 16:04:35 2010 +0200
@@ -2,4 +2,4 @@
 
 ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
 cd "$ADMIN"
-hg churn --aliases user-aliases --progress
+hg churn --aliases user-aliases
diff -r af22d99f4446 -r 151fef652324 Admin/user-aliases
--- a/Admin/user-aliases	Fri Oct 29 14:06:10 2010 +0200
+++ b/Admin/user-aliases	Fri Oct 29 16:04:35 2010 +0200
@@ -7,3 +7,8 @@
 immler@in.tum.de immler
 tsewell@rubicon.NSW.bigpond.net.au tsewell
 tsewell@nicta.com.au tsewell
+kaliszyk@in.tum.de kaliszyk
+Philipp\ Meyer meyerp
+Timothy\ Bourke tbourke
+noschinl@in.tum.de noschinl
+brianh@cs.pdx.edu huffman