A normalization function for GitHub URLs