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

Should automatically close the issue, if the PR is merged! #53

Open
jain-rishabh-21 opened this issue May 25, 2023 · 6 comments · Fixed by #57
Open

Should automatically close the issue, if the PR is merged! #53

jain-rishabh-21 opened this issue May 25, 2023 · 6 comments · Fixed by #57
Assignees
Labels
gssoc23 level2 issue/feature

Comments

@jain-rishabh-21
Copy link
Owner

Describe the bug/feature

Should automatically close the issue, if the PR is merged!

@Soumya1219
Copy link
Contributor

Kindly assign me with this issue :)
I will fix it. 🔧

@apeksha235
Copy link
Collaborator

Assigned it to you @Soumya1219

@jain-rishabh-21
Copy link
Owner Author

image Getting this error! After merging your PR! Can you have a look!

@Priyank-Vaidya
Copy link

Hello @apeksha235, Can you assign me this issue, I can help to fix it.

@Soumya1219
Copy link
Contributor

Soumya1219 commented Jun 1, 2023 via email

@apeksha235
Copy link
Collaborator

hey @Soumya1219 , I think it's a formatting issue, can you check it once.

  • you can make changes again and create a new pull request.
  • make sure it's done in a day or two, or we will have to assign it to someone else

@apeksha235 apeksha235 added level2 issue/feature gssoc23 labels Jun 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
gssoc23 level2 issue/feature
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants