[Brain_Thief]

What, exactly, is hypocritical about these developers' actions? If a person wants their organization / community / country to change then they should encourage that change through non-violent means. It seems to me that by calling for their employer to discontinue business with an entity that they find unacceptable the Github employees in question are doing just that. In fact, their actions come across as quite sincere, and certainly appear to be far more productive and well-reasoned than your insult-laden criticism of them would imply.