Skip to content

Conversation

thomasjpfan
Copy link
Member

This PR replaces the long curl commands with the gh CLI for assigning and un-assigning people.

I tested this workflow on my fork here: thomasjpfan#123

@thomasjpfan thomasjpfan added workflow Development workflow changes Quick Review For PRs that are quick to review labels Dec 28, 2023
Copy link

✔️ Linting Passed

All linting checks passed. Your pull request is in excellent shape! ☀️

Generated for commit: b5de9b6. Link to the linter CI: here

@lesteve lesteve merged commit 5ffbba4 into scikit-learn:main Jan 2, 2024
jeremiedbb pushed a commit to jeremiedbb/scikit-learn that referenced this pull request Jan 17, 2024
glemaitre pushed a commit to glemaitre/scikit-learn that referenced this pull request Feb 10, 2024
@lesteve lesteve mentioned this pull request Jul 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Build / CI Quick Review For PRs that are quick to review workflow Development workflow changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants