Refine "Surveying the GitHub platform" lab