|
@@ -15,9 +15,13 @@ checkout:
|
15
|
15
|
- git remote set-url origin https://github.com/$CIRCLE_PROJECT_USERNAME/$CIRCLE_PROJECT_REPONAME.git:
|
16
|
16
|
pwd:
|
17
|
17
|
../meta/plugins
|
18
|
|
- - git fetch origin $CIRCLE_BRANCH:circleci:
|
19
|
|
- pwd:
|
20
|
|
- ../meta/plugins
|
|
18
|
+ - >
|
|
19
|
+ cd ../meta/plugins;
|
|
20
|
+ if [ -n "$CIRCLE_PR_NUMBER" ]; then
|
|
21
|
+ git fetch origin pull/$CIRCLE_PR_NUMBER/head:circleci;
|
|
22
|
+ else
|
|
23
|
+ git fetch origin $CIRCLE_BRANCH:circleci;
|
|
24
|
+ fi
|
21
|
25
|
- git fetch --tags:
|
22
|
26
|
pwd:
|
23
|
27
|
../meta/plugins
|