A data warehouse for developer community metrics