git checkout master # you can avoid this line if you are in master...
git subtree split --prefix dist -b gh-pages # create a local gh-pages branch containing the splitted output folder
git push -f origin gh-pages:gh-pages # force the push of the gh-pages branch to the remote gh-pages branch at origin
git branch -D gh-pages # delete the local gh-pages because you will need it: ref
I hereby claim:
- I am wafcio on github.
- I am krzysztofwawer (https://keybase.io/krzysztofwawer) on keybase.
- I have a public key ASCazzOc_Mb-FxwSh6JjlKJnvllERF_SJ6jzTMkK8PnsZAo
To claim this, I am signing this object: