Skip to content

chore: remove gh-pages #1388

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
Jan 3, 2020
Merged

chore: remove gh-pages #1388

merged 1 commit into from
Jan 3, 2020

Conversation

JessicaSachs
Copy link
Collaborator

This PR removes GH pages, which are unneeded because we deploy docs via Netlify on any merge to the dev branch.

After merging this PR, we can delete the gh-pages branch.

One thing I'm a bit uncertain of is if docs/assets/CNAME and docs/assets/circle.yml are used in some other way. The code doesn't have any references after deleting scripts/update-docs.sh, but I'm still paranoid.

Thoughts?

@dobromir-hristov
Copy link
Contributor

The CNAME is for GHpages to allow domain binding. Netlify should not need it.
As for circleCI config, once we remove the branch, it should be fine.

@lmiller1990
Copy link
Member

PRs that reduce total amount of code - my favorite kind.

@lmiller1990 lmiller1990 merged commit 56573b1 into dev Jan 3, 2020
@dobromir-hristov dobromir-hristov deleted the chore/remove-gh-pages branch January 3, 2020 06:56
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