We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ebc8a8e commit 0339330Copy full SHA for 0339330
1 file changed
docs/js/github-profiles.js
@@ -1,14 +1,3 @@
1
-// GitHub profiles for team members
2
-const GITHUB_PROFILES = {
3
- // This is a mapping of names to GitHub usernames
4
- "Jérôme A. Lecoq": "jeromelecoq",
5
- "André M. Bastos": "andremarcosbastos",
6
- "Farzaneh Najafi": "fnajafi",
7
- "Sarah Ruediger": "sruediger",
8
- // Add more team members and their GitHub usernames here
9
- // Format: "Full Name": "github-username",
10
-};
11
-
12
// Function to get GitHub username by person's name
13
function getGitHubUsername(fullName) {
14
return GITHUB_PROFILES[fullName] || null;
0 commit comments