Last GitHub Push
Started on Jun 24, 2016 9:18:42 AM Using strategy: Default [poll] Last Built Revision: Revision 5d6c26b850267a32c394c7e7e1ea8a85b79aefce (origin/develop) > git --version # timeout=10 > git -c core.askpass=true ls-remote -h git://github.com/AKSW/ORE.git # timeout=10 Found 3 remote heads on git://github.com/AKSW/ORE.git [poll] Latest remote head revision on refs/heads/develop is: 604b60d908d573e8a18350945655936b99348764 Done. Took 0.29 sec Changes found