Higher gender and tenure diversity associated w higher productivity in GitHubteams (cs.ucdavis.edu)