[Gluster-infra] [Bug 1504713] Move planet build to be triggered by Jenkins

https://bugzilla.redhat.com/show_bug.cgi?id=1504713 Worker Ant changed: What|Removed |Added Status|NEW |CLOSED Resolution|---

[Gluster-infra] [Bug 1504713] Move planet build to be triggered by Jenkins

https://bugzilla.redhat.com/show_bug.cgi?id=1504713 sankarshan changed: What|Removed |Added CC||sankars...@redhat.com Flags|

[Gluster-infra] [Bug 1504713] Move planet build to be triggered by Jenkins

https://bugzilla.redhat.com/show_bug.cgi?id=1504713 --- Comment #1 from M. Scherer --- I also wonder if we could integrate jenkins with github, to replace the travis build. It tend to change underneat us and may surprise users. Ideally, I also would like a system that