jcumming -> add github and githubId

This commit is contained in:
Jack Cummings 2020-11-11 21:51:05 -08:00
parent d6af8fd0dc
commit ccbcbe27b3

View file

@ -3883,6 +3883,8 @@
}; };
jcumming = { jcumming = {
email = "jack@mudshark.org"; email = "jack@mudshark.org";
github = "jcumming";
githubId = 1982341;
name = "Jack Cummings"; name = "Jack Cummings";
}; };
jD91mZM2 = { jD91mZM2 = {