diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index 73a90615774..32cc1fa636d 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -20,6 +20,7 @@
  "legovini": "paride",
  "louis": "karibou",
  "madhuri-rai07": "madhuri-rai07",
+ "momousta": "Moustafa-Moustafa",
  "otubo": "otubo",
  "pengpengs": "PengpengSun",
  "powersj": "powersj",