I don't know what the day-to-day is like at GitHub, but if people were hula-hooping to music at my place of work, I'd probably be pretty interested in watching them too (male or female).
And that is why the "making a woman feel uncomfortable constitutes sexual harassment" standard is problematic. And of course it's not entirely wrong either because it certainly can be done on purpose.