Skip to content

indexer: fix simple semgrep issues#2857

Merged
mergify[bot] merged 2 commits intodevelopfrom
fix/simple-semgrep-indexer
Jun 27, 2022
Merged

indexer: fix simple semgrep issues#2857
mergify[bot] merged 2 commits intodevelopfrom
fix/simple-semgrep-indexer

Conversation

@tynes
Copy link
Copy Markdown
Contributor

@tynes tynes commented Jun 27, 2022

Description

Fix some very simple, low hanging fruit issues
that semgrep is finding in the indexer.

There are some more issues, but they have a larger
scope.

Fix some very simple, low hanging fruit issues
that semgrep is finding in the indexer.

There are some more issues, but they have a larger
scope.
@changeset-bot
Copy link
Copy Markdown

changeset-bot bot commented Jun 27, 2022

🦋 Changeset detected

Latest commit: 49b2e12

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package
Name Type
@eth-optimism/indexer Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@mergify
Copy link
Copy Markdown
Contributor

mergify bot commented Jun 27, 2022

This PR has been added to the merge queue, and will be merged soon.

@mergify
Copy link
Copy Markdown
Contributor

mergify bot commented Jun 27, 2022

This PR is next in line to be merged, and will be merged as soon as checks pass.

@mergify mergify bot merged commit b392140 into develop Jun 27, 2022
@mergify mergify bot deleted the fix/simple-semgrep-indexer branch June 27, 2022 20:57
@mergify mergify bot removed the on-merge-train label Jun 27, 2022
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.

3 participants