push gh-pages merge even if no generated html changed