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

🛠 use github field if no repo specified #784

Merged
merged 2 commits into from
Nov 27, 2023
Merged

🛠 use github field if no repo specified #784

merged 2 commits into from
Nov 27, 2023

Conversation

stevejpurves
Copy link
Contributor

@stevejpurves stevejpurves commented Nov 27, 2023 •
edited
Loading

@stevejpurves stevejpurves changed the title 🛠 use github field if no repo specified or shortcut 🛠 use github field if no repo specified Nov 27, 2023
@rowanc1 rowanc1 merged commit 7bc5011 into main Nov 27, 2023
4 checks passed
@rowanc1 rowanc1 deleted the fix/747 branch November 27, 2023 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

jupyter options do not utilize github field when no repo specified
2 participants
@stevejpurves @rowanc1