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

Filter out issues without PR attached to them #1023

Open
iajoiner opened this issue Feb 13, 2023 · 0 comments
Open

Filter out issues without PR attached to them #1023

iajoiner opened this issue Feb 13, 2023 · 0 comments

Comments

@iajoiner
Copy link

iajoiner commented Feb 13, 2023

Is your feature request related to a problem? Please describe.
A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

Describe the solution you'd like
A clear and concise description of what you want to happen.

Describe alternatives you've considered
A clear and concise description of any alternative solutions or features you've considered.

Additional context
Add any other context or screenshots about the feature request here.

I'm doing releases for delta-rs where issues can be user questions unrelated to actual development. We'd love to filter out issues that don't have attached PRs.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants