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.

Sign up for GitHub

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

Jump to bottom

Update issues which should be closed #9576

Closed
surbhiahuja opened this issue Sep 12, 2022 · 2 comments
Closed

Update issues which should be closed #9576

surbhiahuja opened this issue Sep 12, 2022 · 2 comments
Labels
area/contributing Contributing docs, ownership, etc. Also devtools like devcontainer and Nix type/support User support issue - likely not a bug

Comments

@surbhiahuja
Copy link

Summary

What change needs making?
For most of the issues which are actually closed/PR closed, the Status is not getting updated correctly.

Use Cases

We can have an auto-close functionality enabeled once PR to an issue is closed and merged in main.

When would you use this?

Message from the maintainers:

Love this enhancement proposal? Give it a 👍. We prioritise the proposals with the most 👍.
@surbhiahuja surbhiahuja added the type/feature Feature request label Sep 12, 2022
@terrytangyuan
Copy link
Member

This is already available via GitHub automation.

@tooptoop4
Copy link
Contributor

close?

@agilgur5 agilgur5 added type/support User support issue - likely not a bug area/contributing Contributing docs, ownership, etc. Also devtools like devcontainer and Nix and removed type/feature Feature request labels Oct 16, 2024
@argoproj argoproj locked as resolved and limited conversation to collaborators Oct 16, 2024
@agilgur5 agilgur5 changed the title Updating the correct state of issues/tasks which are in closed state. Update issues which should be closed Oct 16, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
area/contributing Contributing docs, ownership, etc. Also devtools like devcontainer and Nix type/support User support issue - likely not a bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@terrytangyuan @agilgur5 @tooptoop4 @surbhiahuja