diff --git a/BitKeeper/etc/config b/BitKeeper/etc/config
index d9c45d3d36a..81e867e514f 100644
--- a/BitKeeper/etc/config
+++ b/BitKeeper/etc/config
@@ -72,5 +72,6 @@ hours:
 [kostja:]checkout:get
 [nick:]checkout:get
 [jonas:]checkout:get
+[tomas:]checkout:get
 checkout:edit
 eoln:unix