I agree with the general principals here, but the audience for resumes (the HR people) don't always know, or even care, what GitHub is -- whether they should or

I agree with the general principals here, but the audience for resumes (the HR people) don't always know, or even care, what GitHub is -- whether they should or not isn't the question. They're trolling through dozens of applications and making HR work harder isn't going to improve your chances. I'll look at your online portfolio or Google your name only after HR has selected the candidates they think I would be interested in.