Merge pull request #459 from bridadan/unique-branch-circle

Fixing git issues with CircleCI

Author: sg-

circle.yml

@@ -1,3 +1,9 @@
+checkout:
+    post:
+        - git fetch origin master
+        - git checkout origin/master
+        - git merge ${CIRCLE_SHA1}
+        
 test:
     override:
         - cd ../testproject && mbed compile -m K64F -t GCC_ARM --source=. --source=mbed-os/TESTS/integration/basic
@@ -7,10 +13,6 @@ test:
 
 dependencies:
     pre:
-        - git fetch origin master
-        - git checkout -b pr-branch
-        - git checkout origin/master
-        - git merge pr-branch --no-commit
         - cd ../ && ls
         - cd ../ && git clone https://github.com/ARMmbed/mbed-cli.git
         - cd ../mbed-cli && sudo pip install -e .