Bug Fix: GitHub Usernames are Case Insensitive#241

Merged

megan07 merged 17 commits intomasterfrom f-username-case

Jun 26, 2019

+249-20

Commits on Jun 14, 2019

update usernames to case insensitive

Megan Bang
authored and
Megan Bang
committed
flatten stuff

Megan Bang
authored and
Megan Bang
committed
Undo branch protection work

Megan Bang
authored and
Megan Bang
committed
fix imports

Megan Bang
authored and
Megan Bang
committed
remove changes to org block

Megan Bang
authored and
Megan Bang
committed
update tests

Megan Bang
authored and
Megan Bang
committed

Commits on Jun 17, 2019

Commits on Jun 20, 2019

fix repository collaborator test

Megan Bang
authored and
Megan Bang
committed

Commits on Jun 24, 2019

updates after review comments

Megan Bang
authored and
Megan Bang
committed
updates after review comments

Megan Bang
authored and
Megan Bang
committed
Merge branch 'master' into f-username-case
megan07
authored
indent

Megan Bang
authored and
Megan Bang
committed
merge with master

Megan Bang
authored and
Megan Bang
committed
adding test collaborator check to test

Megan Bang
authored and
Megan Bang
committed
removing 'length of' from skip message

Megan Bang
authored and
Megan Bang
committed
update tests for cases for first char is not a letter

Megan Bang
authored and
Megan Bang
committed