commit c58e18e91ecdcb79a7ec984184c0f99eb709b31e
author Roman Ivanov <ivanov-jr@mail.ru> Sun Nov 26 06:08:33 2017 -0800
committer Roman Ivanov <romani@users.noreply.github.com> Sun Nov 26 07:44:56 2017 -0800
tree 84dc6731b72c9bb440082804b85c5d023c9d0a4b
parent b222eab367691582f9df8a000ebc1d4569af2960

config: update Orekit to use develop branch in wercker CI

wercker.yml

diff --git a/wercker.yml b/wercker.yml
index d6e78dc..b2192dd 100644
--- a/wercker.yml
+++ b/wercker.yml
@@ -73,9 +73,8 @@
           cd ../
           for i in 1 2 3 4 5; do git clone https://github.com/CS-SI/Orekit.git && break || sleep 15; done
           cd Orekit
-          git checkout f7abe7ea0c7fbf6d138ed7eaf9487510dfbbcaac
-          wget https://gist.githubusercontent.com/timurt/7c45454a233ce775a7e5acaa1231d845/raw/225ef24f84e671b501caeef8279dc1363869d5ae/orekit.patch
-          git apply orekit.patch
+          # Orekit use 'develop' branch as target for PullRequest merges
+          git checkout develop
           mvn compile checkstyle:check -Dorekit.checkstyle.version=${CS_POM_VERSION}
           cd ../
           rm -rf hipparchus Orekit