From 3a94dc98c47ebd2af88e882bf74f35433fa9a5a4 Mon Sep 17 00:00:00 2001
From: Albert Lee <trisk@forkgnu.org>
Date: Sat, 31 Mar 2018 04:08:15 -0500
Subject: [PATCH] Escape special characters in credits (#5064)

---
 credits_generator/update_credits.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/credits_generator/update_credits.js b/credits_generator/update_credits.js
index d850ccaee9f..3cfab7a9e23 100644
--- a/credits_generator/update_credits.js
+++ b/credits_generator/update_credits.js
@@ -58,7 +58,12 @@ github.repos.getForOrg({
           cb(err);
           return;
         }
-        if(userInfo.login == 'RubenKelevra') userInfo.name = 'RubenKelevra'; // ugh, because his name is `@RubenKelevra`
+	if (userInfo.name) {
+	  userInfo.name = userInfo.name.replace(/^@/, '')
+	  .replace(/</g, '&lt;')
+	  .replace(/>/g, '&gt;')
+	  .replace(/[\\`*_{}[\]()#+-.!~|]/g, '\\$&');
+	}
         usersMap[login].info.name = userInfo.name || userInfo.login;
         usersMap[login].info.username = userInfo.login;
         cb();