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

[Feat]: Workflow for closing issues on merging PR linked to that issue #59

Closed
Asymtode712 opened this issue May 21, 2024 · 2 comments · Fixed by #60
Closed

[Feat]: Workflow for closing issues on merging PR linked to that issue #59

Asymtode712 opened this issue May 21, 2024 · 2 comments · Fixed by #60
Assignees

Comments

@Asymtode712
Copy link
Contributor

Describe the solution you'd like

As the repo maintainers have to manually close an issue after merging a PR linked with that issue, I propose a workflow where the issue linked with a PR which be automatically closed when that PR is merged by the maintainer and efforts will be saved.

Copy link

Thank you for creating this issue! 🎉 We'll look into it as soon as possible. In the meantime, please make sure to provide all the necessary details and context. If you have any questions or additional information, feel free to add them here. Your contributions are highly appreciated! 😊

You can also check our CONTRIBUTION.md for guidelines on contributing to this project.

@Asymtode712
Copy link
Contributor Author

@TusharAMD please assign me this issue

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

Successfully merging a pull request may close this issue.

2 participants