Skip to content

Commit 3a66ae5

Browse files
authored
Merge pull request #64 from fcollonval/bump
Bump 3.1.0
2 parents bbbd027 + 8cffe71 commit 3a66ae5

File tree

2 files changed

+30
-1
lines changed

2 files changed

+30
-1
lines changed
Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# Reference https://mybinder.readthedocs.io/en/latest/howto/gh-actions-badges.html
2+
name: Binder Badge
3+
on:
4+
pull_request_target:
5+
types: [opened]
6+
7+
permissions:
8+
pull-requests: write
9+
10+
jobs:
11+
binder:
12+
runs-on: ubuntu-latest
13+
steps:
14+
- name: comment on PR with Binder link
15+
uses: actions/github-script@v3
16+
with:
17+
github-token: ${{secrets.GITHUB_TOKEN}}
18+
script: |
19+
var PR_HEAD_USERREPO = process.env.PR_HEAD_USERREPO;
20+
var PR_HEAD_REF = process.env.PR_HEAD_REF;
21+
github.issues.createComment({
22+
issue_number: context.issue.number,
23+
owner: context.repo.owner,
24+
repo: context.repo.repo,
25+
body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${PR_HEAD_USERREPO}/${PR_HEAD_REF}?urlpath=lab) :point_left: Launch a binder notebook on branch _${PR_HEAD_USERREPO}/${PR_HEAD_REF}_`
26+
})
27+
env:
28+
PR_HEAD_REF: ${{ github.event.pull_request.head.ref }}
29+
PR_HEAD_USERREPO: ${{ github.event.pull_request.head.repo.full_name }}

package.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"name": "@hadim/jupyter-archive",
3-
"version": "3.0.3",
3+
"version": "3.1.0",
44
"description": "A Jupyterlab extension to make, download and extract archive files.",
55
"keywords": [
66
"jupyter",

0 commit comments

Comments
 (0)