Tagged with “github” Archiving old GitHub projects properly Publishing to gh-pages from Travis CI Merge/update a forked git repository