From 8db5ee8146d1277f1f6c7d7270a31ffdd8acc971 Mon Sep 17 00:00:00 2001
From: Pengpeng Sun <pengpengs@vmware.com>
Date: Wed, 20 Nov 2019 10:48:14 -0600
Subject: lp-to-git-users: adding PengpengSun

Mapped from pengpengs
---
 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 2d040af2..e418d7fd 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -4,6 +4,7 @@
  "i.galic": "igalic",
  "larsks": "larsks",
  "legovini": "paride",
+ "pengpengs": "PengpengSun",
  "powersj": "powersj",
  "raharper": "raharper",
  "tribaal": "chrisglass",
-- 
cgit v1.2.3