Testing manually pushing a dummy commit to trigger proper deploy of gh-pages