A Data Set for Social Diversity Studies of GitHub Teams