Skip to content
This repository has been archived by the owner on Feb 16, 2023. It is now read-only.

Enforce labels on PRs #291

Merged
merged 1 commit into from
Nov 19, 2021
Merged

Enforce labels on PRs #291

merged 1 commit into from
Nov 19, 2021

Conversation

jtpio
Copy link
Member

@jtpio jtpio commented Nov 18, 2021

@jtpio jtpio added this to the 0.3.x milestone Nov 18, 2021
@github-actions
Copy link
Contributor

Binder 👈 Launch RetroLab on Binder

@jtpio jtpio merged commit 26332bd into jupyterlab:main Nov 19, 2021
@jtpio jtpio deleted the enforce-labels branch November 19, 2021 09:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant