Skip to content

Conversation

@zkoppert
Copy link
Member

@zkoppert zkoppert commented Mar 12, 2024

Proposed Changes

Detect, comment, and eventually close stale issues

Readiness Checklist

Author/Contributor

  • If documentation is needed for this change, has that been included in this pull request
  • run make lint and fix any issues that you have introduced
  • run make test and ensure you have test coverage for the lines you are introducing

Reviewer

  • Label as either bug, documentation, enhancement, infrastructure, or breaking

@zkoppert zkoppert merged commit 08f6db4 into main Mar 12, 2024
@zkoppert zkoppert deleted the zkoppert-patch-1 branch March 12, 2024 21:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants