You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When the master branch is updated, all we need to do is to
checkout gh-pages
merge origin:master, and
push
to get installed the latest version on the web version. However, sometimes we experience conflicts at the second step, which might need to be examined. (We need a reproducable way .)
The text was updated successfully, but these errors were encountered:
When the master branch is updated, all we need to do is to
to get installed the latest version on the web version. However, sometimes we experience conflicts at the second step, which might need to be examined. (We need a reproducable way .)
The text was updated successfully, but these errors were encountered: