From 08b903b84c38a99c3249e21dcf2ca40d445b5242 Mon Sep 17 00:00:00 2001 From: Simon Li Date: Thu, 17 Mar 2022 20:07:01 +0000 Subject: [PATCH] Add binder-badge bot --- .github/workflows/binder-badge.yml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .github/workflows/binder-badge.yml diff --git a/.github/workflows/binder-badge.yml b/.github/workflows/binder-badge.yml new file mode 100644 index 00000000..ab2f4668 --- /dev/null +++ b/.github/workflows/binder-badge.yml @@ -0,0 +1,18 @@ +name: binder-badge +on: + pull_request_target: + +jobs: + badge: + runs-on: ubuntu-latest + permissions: + contents: read + issues: write + pull-requests: write + steps: + - uses: manics/action-binderbadge@v1.0.0 + with: + githubToken: ${{ secrets.GITHUB_TOKEN }} + persistentLink: false + updateDescription: true + urlpath: git-pull?repo=https%3A%2F%2Fgithub.com%2Fjupyterhub%2Fnbgitpuller&urlpath=lab%2Ftree%2FREADME.md&branch=main