Skip to content
This repository has been archived by the owner on Nov 17, 2023. It is now read-only.

Fixed mailing list addresses that were swapped (doc change only) #13766

Merged
merged 1 commit into from
Jan 7, 2019

Conversation

ifeherva
Copy link
Contributor

@ifeherva ifeherva commented Jan 3, 2019

Description

The user and dev mailing lists were swapped in the docs. This PR fixes it. There is no code or any functional change.

@ifeherva ifeherva requested a review from szha as a code owner January 3, 2019 18:17
@Roshrini
Copy link
Member

Roshrini commented Jan 3, 2019

@ifeherva Thanks for fixing this.
@mxnet-label-bot Add [pr-awaiting-review]
@aaronmarkham For review/merge

@marcoabreu marcoabreu added the pr-awaiting-review PR is waiting for code review label Jan 3, 2019
@aaronmarkham
Copy link
Contributor

I retriggered the failed test - let's let that pass and we can merge this change.

And yes, it would be nice if we could limit the CI process on docs changes. It does seem, however, that this is a non-trivial task. Very happy to discuss and figure it out though!

@aaronmarkham
Copy link
Contributor

Docker was down yesterday, so that's why the auth fail... I re-triggered it again... and it hung for four hours. Let's see if it can get through the rest now!

@aaronmarkham aaronmarkham merged commit ccc2201 into apache:master Jan 7, 2019
rondogency pushed a commit to rondogency/incubator-mxnet that referenced this pull request Jan 9, 2019
@ifeherva ifeherva deleted the fix_mxnet_channels branch February 10, 2019 04:45
haohuanw pushed a commit to haohuanw/incubator-mxnet that referenced this pull request Jun 23, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
pr-awaiting-review PR is waiting for code review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants