Fix error when loading users without github user ids from the db

7a049f1404Max Brunsfeld committed on 9/21/2022, 9:27:06 PMparent20ec933
3 files changedLine totals unavailable