When a commit is pushed or merged into one of the release branches
(master, maint/*) then push the documentation update to gh-pages.