Let's label this "GitHub Repository", since projects can be submitted by less technical team members who may not immediately understand "repo" shorthand.