From ffbaa1c13f7c22fdb619757788de8b031fcb53f3 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Mon, 23 Jan 2023 23:09:21 +0900 Subject: [PATCH 1/2] Add bsalisbury1 --- migrate.cfg.sagetracmigrationarchive | 2 ++ 1 file changed, 2 insertions(+) diff --git a/migrate.cfg.sagetracmigrationarchive b/migrate.cfg.sagetracmigrationarchive index e4945034de..cb402e1795 100644 --- a/migrate.cfg.sagetracmigrationarchive +++ b/migrate.cfg.sagetracmigrationarchive @@ -332,6 +332,8 @@ usernames = { 'justin': 'RalphieBoy', 'anna': 'annahaensch', # Typos and ad-hoc mentions + 'bsalisbury01': 'bsalisbury1', + 'bsalisbury': 'bsalisbury1', 'wstein': 'williamstein', 'fhivert': 'hivert', 'krcisman': 'kcrisman', From af072382693c8827526818d2b0e03608e9726855 Mon Sep 17 00:00:00 2001 From: Kwankyu Lee Date: Tue, 24 Jan 2023 00:53:33 +0900 Subject: [PATCH 2/2] fix-unmapped-users-to-factorization --- migrate.cfg.sagetracmigrationarchive | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/migrate.cfg.sagetracmigrationarchive b/migrate.cfg.sagetracmigrationarchive index cb402e1795..430dd1115b 100644 --- a/migrate.cfg.sagetracmigrationarchive +++ b/migrate.cfg.sagetracmigrationarchive @@ -263,7 +263,9 @@ ignored_mentions = ['option', ignored_usernames = ['28', '4ti2', 'a', 'b', 'c', 'h', 'z', 'anonymous', 'anybody', 'cc', 'myself', 'combinatorics', 'days100', 'days28', 'days64', 'documentation', 'reference', 'sage-', 'sage-algebra', 'sage-combinat-commits', 'sage-combinat-devel', - 'sd45', 'sd48', 'sd67', 'Somebody', 'someone'] + 'sd45', 'sd48', 'sd67', 'Somebody', 'someone', + 'amog2011', 'beginner', 'BugReporter', 'combinat', 'demosd235', + 'factorization'] [attachments] @@ -332,6 +334,18 @@ usernames = { 'justin': 'RalphieBoy', 'anna': 'annahaensch', # Typos and ad-hoc mentions + 'dkohel': 'sagetrac-kohel', + 'chaopoton': 'fchapoton', + 'cberg': 'sagetrac-chrisjamesberg', + 'carus': 'xcaruso', + 'campbell': 'theref', + 'Braun': 'vbraun', + 'Boussicault', 'sagetrac-boussica', + 'Ben': 'bhutz', + 'beezer': 'rbeezer', + 'anne': 'anneschilling', + 'Andrew': 'sheerluck', + 'Alexander': 'alexanderdreyer', 'bsalisbury01': 'bsalisbury1', 'bsalisbury': 'bsalisbury1', 'wstein': 'williamstein',