bahmutov / post-merge-make

Runs make command after a pull from server or merge

Geek Repo

Github PK Tool