GitHub Pages Activity (rever.activities.ghpages)

Activity for pushing documentation to GitHub pages.