Prevent circle ci from trying to build those github-pages changes.#13

Open

lacostej wants to merge 1 commit intomasterfrom internal/restrict_circleci_to_master

+1-1

Commits on Nov 15, 2019

Prevent circle ci from trying to build those github-pages changes. Note that circle should already ignore it but I cannot get it to work.
lacostej
committed