GaloisInc / FiveUI

Extensible UI Analysis in your browser
Other
29 stars 1 forks source link

Pull in build/gh-pages when it already exists #8

Closed elliottt closed 11 years ago

elliottt commented 11 years ago

The build system will fail to create the build/gh-pages directory if it already exists, as git clone will throw an error if it's already there. It would be nice to detect this scenario, and pull the gh-pages branch instead of attempting to clone.