fix GitHub URLs