-
Notifications
You must be signed in to change notification settings - Fork 17
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 #28
Comments
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 CONTRIBUTING.md for guidelines on contributing to this project. |
@MAVRICK-1 please assign me this issue under gssoc'24 |
@Asymtode712 go ahead |
@MAVRICK-1 Please carry out the steps given below so that this and other workflows can run properly: Step 1: Create a Personal Access Token (PAT) with repo Permission 1. Navigate to Settings:
2. Go to Developer Settings:
3. Create a New Token:
4. Configure the Token:
5. Generate Token:
Step 2: Assign the Token to GITHUB_TOKEN Environment Variable 1. Navigate to Your Repository:
2. Go to Secrets:
3. Create a New Secret:
|
change the name of the variable to SECRET_GITHUB_TOKEN |
ok |
added the workflow as mentioned in #28
Describe the feature
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.
The text was updated successfully, but these errors were encountered: