Uh oh!
There was an error while loading.Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork34k
Fix docstring formatting: remove double space after colon and extra s…#144226
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
Uh oh!
There was an error while loading.Please reload this page.
Conversation
StanFromIreland commentedJan 25, 2026
In#144198, I think Benedikt meant that they be added to the PR (at least that is what I would recommend, as IMO this is almost churn), not separate PRs for each. |
picnixz commentedJan 26, 2026
Yes, I meant it to be added in the other PR. I do not see it as churn though. It can be confusing for readers as it breaks the reading flow (and also we want to have a well-curated list of references) |
StanFromIreland commentedJan 26, 2026
I agree, but I would say it is "almost churn." ;-) |
…pace before comma