Skip to content

Some lint#24

Open
giraudan wants to merge 3 commits intonilsmagnus:mainfrom
giraudan:main
Open

Some lint#24
giraudan wants to merge 3 commits intonilsmagnus:mainfrom
giraudan:main

Conversation

@giraudan
Copy link

I initially was bothered by the fact that there is a log line about the GeoFilter for each message read so I decided to fork to alter that.

I ended up running some linters and made error reporting more agressive.

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.

1 participant

Comments