From 60c26e280f7b4ddcdc6fe12098c578c340678159 Mon Sep 17 00:00:00 2001 From: Manuel Martins Date: Fri, 10 Mar 2023 19:59:40 +0100 Subject: [PATCH] update gh-pages commands (#98) * Canvas test failures #91 fixed workflows fixed dockerfile for binder * Fix unknown entity warnings (#90) * fixed workflows fixed dockerfile for binder * fixed dockerfile for binder * fixed dockerfile for binder * fixed dockerfile for binder * fixed package info * fix for #92 #93 and #94 added new workflow for releasetools * revert changes from latest jupyterlab extension cookiecutter * use yarn instead of npm * workaround for yarn caches on subprojects: from https://github.com/actions/setup-node/issues/488#issue-1231822552 * workaround for yarn caches on subprojects: from https://github.com/actions/setup-node/issues/488#issue-1231822552 * new release 2.0.2 to test ReleaseTools * Update RELEASE.yml use already present gh-pages branch --------- Co-authored-by: Manuel Martins Co-authored-by: Jerry James --- .github/workflows/RELEASE.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/RELEASE.yml b/.github/workflows/RELEASE.yml index baaf4e9..9268483 100644 --- a/.github/workflows/RELEASE.yml +++ b/.github/workflows/RELEASE.yml @@ -65,10 +65,10 @@ jobs: # Clone Release tools git clone --depth=2 -b master https://github.com/gap-system/ReleaseTools $HOME/ReleaseTools # Add a new remote pointing to the GitHubPagesForGAP repository - git remote add gh-gap https://github.com/gap-system/GitHubPagesForGAP - git fetch gh-gap + # git remote add gh-gap https://github.com/gap-system/GitHubPagesForGAP + # git fetch gh-gap # Create a fresh gh-pages branch from the new remote - git branch gh-pages gh-gap/gh-pages --no-track + # git branch gh-pages gh-gap/gh-pages --no-track # Create a new worktree and change into it git worktree add gh-pages gh-pages # Copy JavaScript documentation