Measuring the local GitHub developer community. - Juan Julián Merelo Guervós; Nuria Rico; Israel Blancas; Maribel García Arenas; Fernando Tricas; José Antonio Vacas (CoRR, 2015)