Skip to content
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

Dpl 2.0 #1003

merged 256 commits into from Aug 8, 2019


Copy link

commented Jun 12, 2019

No description provided.

@svenfuchs svenfuchs referenced this pull request Jun 12, 2019

@svenfuchs svenfuchs force-pushed the dpl-2 branch 29 times, most recently from 8b48ce0 to 60047da Jun 18, 2019

svenfuchs added 26 commits Aug 4, 2019
Tweak github pages deploy process
If `keep_history` was given we have, so far, brute force git cloned
the repo, which may have left a defunct directory, which we have then
fixed by `rm -rf` and `mkdir -p`.

Instead we can check the remote repo to see if it has the given branch
name, and conditionally clone or initialize the repo.

Also, this commit makes the default for `keep_history` true. If users
want to overwrite their history they will need to pass `no_keep_history`
from now on.

@svenfuchs svenfuchs force-pushed the dpl-2 branch from 7ad9d6f to a2617c2 Aug 8, 2019

@svenfuchs svenfuchs merged commit ed894b8 into master Aug 8, 2019

4 checks passed

Travis CI - Branch Build Passed
Travis CI - Pull Request Build Passed
continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
3 participants
You can’t perform that action at this time.