From 525df33e420f29c14f86d40ee30ea28229d8f712 Mon Sep 17 00:00:00 2001 From: japborst Date: Mon, 10 Oct 2022 21:06:24 +0200 Subject: [PATCH] gdejong/docgen -> gdejong/docgen_old --- .github/workflows/deploy-website.yaml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/deploy-website.yaml b/.github/workflows/deploy-website.yaml index ffd60150..ab6e4121 100644 --- a/.github/workflows/deploy-website.yaml +++ b/.github/workflows/deploy-website.yaml @@ -1,10 +1,8 @@ name: Update `error-prone.picnic.tech` website contents on: push: - #branches: [$default-branch] branches: - - 'sschroevers/deploy-to-github-pages' - - 'gdejong/docgen' + - 'gdejong/docgen_old' workflow_dispatch: permissions: contents: read