Since I'm pretty sure we're going for the ability for staff to use their GitHub accounts in a fully dual role, as work and personal accounts, requiring the email on one's public profile to be their government email address is in tension with that.
We definitely should have staff associate their work email with their account, and associate it with work commits. I think we can safely remain neutral on which email address they use for their public profile.
Since I'm pretty sure we're going for the ability for staff to use their GitHub accounts in a fully dual role, as work and personal accounts, requiring the email on one's public profile to be their government email address is in tension with that.
We definitely should have staff associate their work email with their account, and associate it with work commits. I think we can safely remain neutral on which email address they use for their public profile.