gh-pages should update with new dist

[ataraxie]

Wie ist das denn jetzt mit den gh-pages? Ich hab grade ne neue dist gemacht. Muss ich den master noch in den gh-pages branch mergen damit das aktualisiert wird? Wäre geil wenn das automatisch geht 😄

[tdeekens]

...hö, ist das nicht genau was der der pull request #10 automagically macht. Also alles von /docs in gh-pages pushen ohne, dass du händisch mergen musst?

Try the branch - merge it in...