Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add github action to add binder badge to PRs #229

Merged
merged 9 commits into from
Oct 7, 2021
Merged

add github action to add binder badge to PRs #229

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
0d2f3d0
add github action to add binder badge to PRs
JessicaS11 Oct 6, 2021
f23ec8f
add push to trigger action
JessicaS11 Oct 6, 2021
7de04ca
make another change to having something to push
JessicaS11 Oct 6, 2021
dcae29f
update secret name
JessicaS11 Oct 6, 2021
28fd17b
fix binder url
JessicaS11 Oct 6, 2021
ddecf0f
update binder url
JessicaS11 Oct 6, 2021
573da56
update github script version
JessicaS11 Oct 6, 2021
227a5b0
update createComment in github-scrip for breaking change in v5
JessicaS11 Oct 6, 2021
a4ce861
use basic binder badge url instead of custom one
JessicaS11 Oct 6, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
33 changes: 33 additions & 0 deletions .github/workflows/binder-badge.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
# From: https://github.com/uwhackweek/jupyterbook-template/.github/workflows/binder-badge.yml

name: AddBinderBadge
on:
push:
pull_request_target:
# since we're using nbgitpuller, only create the badge when PR opened
types: [opened]
paths:
- 'examples/*'
jobs:
add-badge:
runs-on: ubuntu-20.04
steps:
- name: Checkout PR
uses: actions/checkout@v2

- name: Comment on PR with Binder link
uses: actions/github-script@v5
env:
BRANCH_NAME: ${{ github.event.pull_request.head.ref }}
CONTENT_REPO: ${{github.event.pull_request.head.repo.full_name}}
with:
github-token: ${{secrets.GITHUB_TOKEN}}
script: |
var BRANCH_NAME = process.env.BRANCH_NAME;
var CONTENT_REPO = process.env.CONTENT_REPO;
github.rest.issues.createComment({
issue_number: context.issue.number,
owner: context.repo.owner,
repo: context.repo.repo,
body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/icesat2py/icepyx/main?urlpath=git-pull%3Frepo%3Dhttps%253A%252F%252Fgithub.com%252F${CONTENT_REPO}%26urlpath%3Dlab%252Ftree%252Ficepyx%252Fexamples%252F%26branch%3D${BRANCH_NAME}) :point_left: Launch a binder notebook on this branch`
})