[oohffyvfg]

if you log in, you've lost.

they have to serve the source without being logged in, otherwise gpl projects would just move (and we know gpl projects are the opensource trend setters).

so they will always allow you yo download the source. and thats what i do all the time. git clone, grep, rm.

or if you are logged, do it anyway checking code out with ssh which is more expensive for them.

remember kids, after Microsoft bought it, a github account is a social network account.