Skip to content

Conversation

@nilleb
Copy link
Contributor

@nilleb nilleb commented Dec 10, 2025

Hi!
This Pull Request is an evidence of what should be changed if we wanted to report an old patch to the current codebase.
I am using this as a support of the discussion going on in the issue.

@aisk
Copy link
Contributor

aisk commented Dec 10, 2025

Hi, the PR's title will eventually became the commit message if been merged, so please clarify with what this PR changed briefly in the title.

if len(changes) == 0:
return
for name, key_list in sequences.items():
for key_list in sequences.values():
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Although we don't use the name variable here, but I think in now days we should fix one thing in a PR, I think this line's change is to trivial to touch it.

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.

2 participants