prevent checkout of develop when building pull requests