Re: Ticket for github bot account

[Naveen Swamy]

I suggest to name mxnet-bot instead of mxnet-ci-bot

On Wed, Aug 8, 2018 at 11:11 AM, Sebastian <s...@apache.org> wrote:

> Hi,
>
> I created the INFRA ticket for the bot account here
>
> https://issues.apache.org/jira/browse/INFRA-16884
>
> Best,
> Sebastian
>