Skip to content

Use rubocop#132

Closed
jamie-o-wilkinson wants to merge 5 commits intomainfrom
use-rubocop
Closed

Use rubocop#132
jamie-o-wilkinson wants to merge 5 commits intomainfrom
use-rubocop

Conversation

@jamie-o-wilkinson
Copy link
Copy Markdown
Contributor

What problem does this pull request solve?

Things to consider when reviewing

  • Ensure that you consider the wider context.
  • Does it work when run on your machine?
  • Is it clear what the code is doing?
  • Do the commit messages explain why the changes were made?
  • Has all relevant documentation been updated?

@jamie-o-wilkinson jamie-o-wilkinson self-assigned this Apr 25, 2025
@lfdebrux
Copy link
Copy Markdown
Contributor

This has been done in #203.

@lfdebrux lfdebrux closed this Dec 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants