CodeProMay 30, 2023 ยท View on GitHubCodePro: A Large-scale High-quality Codebase for Realistic Code Search Challenge