Skip to content

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.

4 participants