Commit 6bf5e8e7e62620501b068230f398db1e9219f1b8

Ebrahim Byagowi 2020-06-04T04:03:14

[ci] Deploy only when there is something to push Apparently the previous version of gtk-doc was doing weird changes like https://github.com/harfbuzz/harfbuzz.github.io/commit/1b40da99bbd1985d060d273ef37f1ccad16913c4 and https://github.com/harfbuzz/harfbuzz.github.io/commit/d1d9bff14c805d1bcbd2446a4c22e633e8d365cf in order to make every to have something for pushing and now that we don't have such changes it will fail. Alternatively we can go for `git commit --allow-empty`, guess better to pollute history of https://github.com/harfbuzz/harfbuzz.github.io however.