Rename push.yml to pr.yml

This commit is contained in:
Jaco Greeff
2019-10-07 16:14:15 +02:00
committed by GitHub
parent eaa9dd00c7
commit 647e605c9f