Re: [Mentor needed] Create ticket to add webhook for the new label bot

2018-11-07 Thread Marco de Abreu
Thanks Sebastian for creating the ticket. The webhook has successfully been created. During our production tests, we have encountered some issues which will delay the release by a bit. From that point, we don't need further support from Infra and we're able to make the changes on our side. Best

[Mentor needed] Create ticket to add webhook for the new label bot

2018-11-07 Thread Marco de Abreu
Hello, the new label bot [1] is in the final stage of deployment. We would now need the assistance from Apache Infra to install a GitHub webhook. Mentors, would you mind helping us to create a JIRA ticket with Infra? The content would be as follows: Hello Apache Infra, Apache MXNet (incubating)