Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Gorkowski/issue426 (Sourcery refactored) #428

Merged
merged 1 commit into from
Jan 9, 2024

Conversation

sourcery-ai[bot]
Copy link
Contributor

@sourcery-ai sourcery-ai bot commented Jan 8, 2024

Pull Request #427 refactored by Sourcery.

If you're happy with these changes, merge this Pull Request using the Squash and merge strategy.

NOTE: As code is pushed to the original Pull Request, Sourcery will
re-run and update (force-push) this Pull Request with new refactorings as
necessary. If Sourcery finds no refactorings at any point, this Pull Request
will be closed automatically.

See our documentation here.

Run Sourcery locally

Reduce the feedback loop during development by using the Sourcery editor plugin:

Review changes via command line

To manually merge these changes, make sure you're on the Gorkowski/issue426 branch, then run:

git fetch origin sourcery/Gorkowski/issue426
git merge --ff-only FETCH_HEAD
git reset HEAD^

Help us improve this pull request!

@sourcery-ai sourcery-ai bot requested a review from Gorkowski January 8, 2024 22:57
@Gorkowski Gorkowski merged commit ab6b7fe into Gorkowski/issue426 Jan 9, 2024
@Gorkowski Gorkowski deleted the sourcery/Gorkowski/issue426 branch January 9, 2024 14:43
ngmahfouz pushed a commit that referenced this pull request Jan 14, 2024
Co-authored-by: Sourcery AI <>
github-merge-queue bot pushed a commit that referenced this pull request Jan 16, 2024
Co-authored-by: Sourcery AI <>
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.

None yet

1 participant