Skip to content

fix C408 - #198

Merged
nim65s merged 1 commit into
humanoid-path-planner:develfrom
nim65s:C408
Oct 29, 2026
Merged

nim65s merged 1 commit into
humanoid-path-planner:develfrom
nim65s:C408

Conversation

@nim65s

@nim65s nim65s commented Oct 29, 2026

Copy link
Copy Markdown
Member

ruff check --fix --unsafe-fixes .

@nim65s

nim65s commented Oct 29, 2026

Copy link
Copy Markdown
Member Author

@Mergifyio rebase

@mergify

mergify Bot commented Oct 29, 2026

Copy link
Copy Markdown
Contributor

rebase

❌ This pull request comes from a fork and cannot be rebased

Details

GitHub refuses an OAuth token on its rebase API for a fork, so rebasing one means impersonating a GitHub user to force-push the contributor's branch. Mergify does not do that.

Use the update action or the @mergifyio update command instead: it brings the pull request up to date by merging the base branch into it, and needs no impersonation. It only has something to do when the pull request is behind its base branch, so if what the branch needs is a linear history, its author has to rebase it themselves.

ruff check --fix --unsafe-fixes .
@nim65s
nim65s merged commit d110fd3 into humanoid-path-planner:devel Oct 29, 2026
6 checks passed
@nim65s
nim65s deleted the C408 branch October 29, 2026 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant