diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index 69329cb9092..9b09d568554 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -30,6 +30,7 @@
  "rjschwei": "rjschwei",
  "tribaal": "chrisglass",
  "trstringer": "trstringer",
+ "vlastimil-holer": "vholer",
  "vtqanh": "anhvoms",
  "xiaofengw": "xiaofengw-vmware"
 }