From b73b319094b133bf47038ab41f29cc9507bdc5bd Mon Sep 17 00:00:00 2001
From: Moustafa Moustafa <momousta@microsoft.com>
Date: Thu, 14 May 2020 07:48:42 -0700
Subject: migrating momousta lp user to Moustafa-Moustafa GitHub user (#361)

---
 tools/.lp-to-git-user | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tools')

diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index 73a90615..32cc1fa6 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",
-- 
cgit v1.2.3