Merge branch 'gh-pages' of https://github.com/LivelyKernel/lively4-core into gh-pages

Author: s4pu

src/components/tools/lively-sync.js

@@ -31,12 +31,6 @@ export default class Sync extends Morph {
     this.get('#gitrepository').addEventListener("change", evt => this.onGitrepositoryInputChange(evt))
     this.get('#serverUrl').addEventListener("change", evt => this.onServerUrlInputChange(evt))
 
-    
-    var travis = this.get("#travisLink");
-    travis.onclick = () => {
-      window.open(travis.getAttribute("href"));
-      return false;
-    };
     this.updateWindowTitle()
     this.updateServerURL()
   }