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

Removed spurious import #236

Merged

Conversation

ErikDeSmedt
Copy link
Collaborator

I removed some unneeded imports which pulluted the logs with warnings

@ErikDeSmedt ErikDeSmedt force-pushed the 20230817/removed_spurious_imports branch from 202cd31 to c0b17fb Compare August 17, 2023 13:45
@@ -0,0 +1 @@
[email protected]:1692270444
Copy link
Collaborator

Choose a reason for hiding this comment

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

You probably don't want to commit this :-) But it's good to see a fellow emacs user :-)

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Thanks, that one is removed now

Copy link
Collaborator

Choose a reason for hiding this comment

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

I think you might have forgotten to force-push, the PR still contains the file :-)

@ErikDeSmedt ErikDeSmedt force-pushed the 20230817/removed_spurious_imports branch from c0b17fb to 5e44800 Compare August 17, 2023 18:18
@cdecker cdecker force-pushed the 20230817/removed_spurious_imports branch from 5e44800 to f0167e9 Compare August 18, 2023 10:13
@cdecker cdecker enabled auto-merge (rebase) August 18, 2023 10:13
I removed some unneeded imports which pulluted the logs with warnings
auto-merge was automatically disabled August 18, 2023 11:12

Head branch was pushed to by a user without write access

@ErikDeSmedt ErikDeSmedt force-pushed the 20230817/removed_spurious_imports branch from f0167e9 to 3bf043b Compare August 18, 2023 11:12
@cdecker cdecker merged commit f0536a2 into Blockstream:main Aug 20, 2023
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