Skip to content

Add more details to git clone errors #2497

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Nov 15, 2016

Conversation

benjaoming
Copy link
Contributor

Fix for #2496

Before:

screenshot from 2016-11-14 13-31-20

Now:

screenshot from 2016-11-14 13-24-59

@benjaoming
Copy link
Contributor Author

Build will fail until #2499 is merged.

@benjaoming
Copy link
Contributor Author

Rebased

@ericholscher
Copy link
Member

Thanks :)

@ericholscher ericholscher merged commit 9056b2e into readthedocs:master Nov 15, 2016
@benjaoming
Copy link
Contributor Author

@ericholscher hope it's okay to ask this pretty basic im-a-new-developer question... what's the process of deploying merged changes to readthedocs.org?

@ericholscher
Copy link
Member

It will get merged into the rel branch and then deployed. We normally do about 1 deploy a week, so will likely get pushed up in a couple days.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants