|
1 |
| -# create a mybinder badge issue comment for testing PRs |
2 |
| -name: AddBinderBadge |
3 |
| -on: |
4 |
| - pull_request: |
5 |
| - types: [opened, reopened] |
6 |
| -jobs: |
7 |
| - build-image-without-pushing: |
8 |
| - runs-on: ubuntu-latest |
9 |
| - steps: |
10 |
| - - name: Checkout PR |
11 |
| - |
| 1 | +# # create a mybinder badge issue comment for testing PRs |
| 2 | +# name: AddBinderBadge |
| 3 | +# on: |
| 4 | +# pull_request: |
| 5 | +# types: [opened, reopened] |
| 6 | +# jobs: |
| 7 | +# build-image-without-pushing: |
| 8 | +# runs-on: ubuntu-latest |
| 9 | +# steps: |
| 10 | +# - name: Checkout PR |
| 11 | + |
12 | 12 |
|
13 |
| - - name: Comment on PR with Binder link |
14 |
| - |
15 |
| - env: |
16 |
| - BRANCH_NAME: ${{ github.event.pull_request.head.ref }} |
17 |
| - with: |
18 |
| - github-token: ${{secrets.GITHUB_TOKEN}} |
19 |
| - script: | |
20 |
| - var BRANCH_NAME = process.env.BRANCH_NAME; |
21 |
| - github.issues.createComment({ |
22 |
| - issue_number: context.issue.number, |
23 |
| - owner: context.repo.owner, |
24 |
| - repo: context.repo.repo, |
25 |
| - body: `[](https://mybinder.org/v2/gh/${context.repo.owner}/${context.repo.repo}/${BRANCH_NAME}) :point_left: Launch a binder notebook on this branch` |
26 |
| - }) |
| 13 | +# - name: Comment on PR with Binder link |
| 14 | + |
| 15 | +# env: |
| 16 | +# BRANCH_NAME: ${{ github.event.pull_request.head.ref }} |
| 17 | +# with: |
| 18 | +# github-token: ${{secrets.GITHUB_TOKEN}} |
| 19 | +# script: | |
| 20 | +# var BRANCH_NAME = process.env.BRANCH_NAME; |
| 21 | +# github.issues.createComment({ |
| 22 | +# issue_number: context.issue.number, |
| 23 | +# owner: context.repo.owner, |
| 24 | +# repo: context.repo.repo, |
| 25 | +# body: `[](https://mybinder.org/v2/gh/${context.repo.owner}/${context.repo.repo}/${BRANCH_NAME}) :point_left: Launch a binder notebook on this branch` |
| 26 | +# }) |
0 commit comments