Any bets on how long it is before github address this problem -- even though they say it is not a problem?