Fix location of pre-push script mentioned in CONTRIBUTING