Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Update ruff config and typing#7145

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.

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

Already on GitHub?Sign in to your account

Merged
blink1073 merged 2 commits intojupyter:mainfromblink1073:update-ruff-config
Nov 10, 2023

Conversation

@blink1073
Copy link
Contributor

No description provided.

@github-actions
Copy link
Contributor

Binder 👈 Launch a Binder on branchblink1073/notebook/update-ruff-config

@blink1073blink1073 merged commit29d665d intojupyter:mainNov 10, 2023
@blink1073blink1073 deleted the update-ruff-config branchNovember 10, 2023 01:53
@jtpiojtpio added this to the7.1 milestoneNov 13, 2023
@jtpiojtpio modified the milestones:7.1,7.0.xDec 13, 2023
@jtpio
Copy link
Member

@meeseeksdev please backport to 7.0.x

@lumberbot-app
Copy link

Owee, I'm MrMeeseeks, Look at me.

There seem to be a conflict, please backport manually. Here are approximate instructions:

  1. Checkout backport branch and update it.
git checkout 7.0.xgit pull
  1. Cherry pick the first parent branch of the this PR on top of the older branch:
git cherry-pick -x -m1 29d665dbac144d143d843168da9823cab6498b0a
  1. You will likely have some merge/cherry-pick conflict here, fix them and commit:
git commit -am 'Backport PR #7145: Update ruff config and typing'
  1. Push to a named branch:
git push YOURFORK 7.0.x:auto-backport-of-pr-7145-on-7.0.x
  1. Create a PR against branch 7.0.x, I would have named this PR:

"Backport PR#7145 on branch 7.0.x (Update ruff config and typing)"

And apply the correct labels and milestones.

Congratulations — you did some good work! Hopefully your backport PR will be tested by the continuous integration and merged soon!

Remember to remove theStill Needs Manual Backport label once the PR gets merged.

If these instructions are inaccurate, feel free tosuggest an improvement.

jtpio pushed a commit to jtpio/notebook that referenced this pull requestDec 13, 2023
jtpio added a commit that referenced this pull requestDec 13, 2023
(cherry picked from commit29d665d)Co-authored-by: Steven Silvester <steven.silvester@ieee.org>
@github-actionsgithub-actionsbot locked asresolvedand limited conversation to collaboratorsDec 14, 2024
Sign up for freeto subscribe to this conversation on GitHub. Already have an account?Sign in.

Reviewers

No reviews

Assignees

@blink1073blink1073

Projects

None yet

Milestone

7.0.x

Development

Successfully merging this pull request may close these issues.

2 participants

@blink1073@jtpio

[8]ページ先頭

©2009-2025 Movatter.jp