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

Some changes to stale bot #243

Merged
merged 1 commit into from
Nov 11, 2020
Merged

Some changes to stale bot #243

merged 1 commit into from
Nov 11, 2020

Conversation

gerard33
Copy link
Member

Proposed change

Some improvements after first use

Type of change

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (which adds functionality to this library)
  • Breaking change (fix/feature causing existing functionality to break)
  • Code quality improvements to existing code or addition of tests

Additional information

  • This PR fixes or closes issue: fixes #
  • This PR is related to issue:

Checklist

  • The code change is tested and works locally.
  • Tests have been added to verify that the new code works.

@gerard33
Some changes to stale bot
80636da 
Some improvements after first use
@gerard33 gerard33 merged commit 6088127 into dev Nov 11, 2020
@gerard33 gerard33 deleted the update-stale-bot branch November 11, 2020 19:17
@gerard33 gerard33 mentioned this pull request Nov 11, 2020
Merged
6 tasks
@github-actions
Copy link

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked and limited conversation to collaborators Nov 19, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@gerard33