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

Show element editor by default (Sourcery refactored) #345

Conversation

sourcery-ai[bot]
Copy link
Contributor

@sourcery-ai sourcery-ai bot commented Jun 3, 2020

Pull Request #344 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 fix/show-element-editor-by-default branch, then run:

git fetch origin sourcery/fix/show-element-editor-by-default
git merge --ff-only FETCH_HEAD
git reset HEAD^

@amolenaar amolenaar linked an issue Jun 3, 2020 that may be closed by this pull request
3 tasks
@amolenaar amolenaar merged commit c478ac9 into fix/show-element-editor-by-default Jun 3, 2020
@amolenaar amolenaar deleted the sourcery/fix/show-element-editor-by-default branch June 3, 2020 19:59
@danyeaw danyeaw added the chore Maintenance related PR label Jul 20, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Maintenance related PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Show Element Editor by default
3 participants