What's Changed
* speed up url_to_repo by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/102
* minor fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/103
* Avoid repeatedly downloading the same file by darabos in https://github.com/lean-dojo/LeanDojo/pull/104
* minor fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/105
* bump by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/106
New Contributors
* darabos made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/104
**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.4.1...v1.4.2