# Skip default checkout

```
 agent { label 'docker:creator' }
 options { skipDefaultCheckout() }
```
# PR pipeline on PRs and develop
PR pipeline works due "plugin".

Develop needs a new pipeline for itself.
It's already being triggered by the special URL in the pipeline configuration (at least, in theory, still pending to check).
Default pipelines do not report back to Bitbucket.
https://plugins.jenkins.io/bitbucket-build-status-notifier/ provides a notification, but would require changing the pipeline to notify Bitbucket.
Since we can select when stages can be run, we would need to wrap them into `when { branch 'develop' }` to report commits properly.
Commits can be retrieved by `env.GIT_COMMIT` (in theory)
Branch can be checked with `env.GIT_BRANCH` (also in theory)