Skip to content

handle pull_request and pull_request_target#10

Merged
manics merged 1 commit intomainfrom
dev
Sep 4, 2020
Merged

handle pull_request and pull_request_target#10
manics merged 1 commit intomainfrom
dev

Conversation

@manics
Copy link
Copy Markdown
Owner

@manics manics commented Sep 4, 2020

pull_request_target was missing.

@github-actions
Copy link
Copy Markdown

github-actions Bot commented Sep 4, 2020

Binder 👈 Launch a binder notebook on this branch for commit 407f619

I will automatically update this comment whenever this PR is modified

Binder 👈 Launch a binder notebook on this branch for commit b780460

@manics manics merged commit f6a6898 into main Sep 4, 2020
@manics manics deleted the dev branch September 4, 2020 20:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant