Skip to content

Add solution 64 #3744

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

Closed
wants to merge 1 commit into from
Closed

Conversation

fatihhelvaci
Copy link

No description provided.

@dhruvmanila
Copy link
Member

@dickyw71 Hey, can you edit the auto_close_empty_issues action to include pull request as well? You can open a PR and mention this comment and @ me.

@dhruvmanila
Copy link
Member

Closed this PR as it is without any description.

@dickyw71
Copy link
Contributor

@dhruvmanila I will look at adding another GitHub action to auto-closing PRs without a description. It will be pretty similar to the existing auto-close empty issues action but separate from it.

@dhruvmanila
Copy link
Member

@dickyw71 Thanks for the reply but I don't think that will be needed. A bot is under production for this repository and we can add that functionality pretty easily into it.

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

Successfully merging this pull request may close these issues.

3 participants