Skip to content

changed repo where to deploy built branch #1946

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 2 commits into from
Dec 3, 2019
Merged

changed repo where to deploy built branch #1946

merged 2 commits into from
Dec 3, 2019

Conversation

emmanuelle
Copy link
Contributor

No description provided.

@nicolaskruchten
Copy link
Contributor

💃 you may as well retarget that PR to the doc-prod branch and merge it there to see if this works :)

@emmanuelle emmanuelle changed the base branch from master to doc-prod December 3, 2019 14:55
@emmanuelle emmanuelle merged commit 2229d91 into doc-prod Dec 3, 2019
@emmanuelle emmanuelle deleted the ci-bug branch December 3, 2019 15:19
emmanuelle added a commit that referenced this pull request Dec 3, 2019
* bump CI

* bump CI

* Bump CI

* changed repo where to deploy built branch (#1946)

* changed repo where to deploy built branch

* also changed fingerprint
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.

2 participants