Exploring integrated development environmentsUnderstanding Git hosting