Optimize git hook workflow with pre-push hooks and Makefile#905

Snehithkumarmatte wants to merge 1 commit intomlcommons:mainmlcommons/algorithmic-efficiency:mainfrom

Snehithkumarmatte:optimize-git-hooksSnehithkumarmatte/algorithmic-efficiency:optimize-git-hooksCopy head branch name to clipboard