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

Replace lock bot with GitHub Action #238

Merged
merged 1 commit into from
Nov 10, 2020
Merged

Replace lock bot with GitHub Action #238

merged 1 commit into from
Nov 10, 2020

Conversation

gerard33
Copy link
Member

Proposed change

The lock bot Github app is not working anymore.

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
Replace lock bot with GitHub Action
1b1feb9 
The lock bot Github app is not working anymore.
@gerard33 gerard33 mentioned this pull request Nov 10, 2020
Merged
@gerard33 gerard33 merged commit 7fcf35e into dev Nov 10, 2020
@gerard33 gerard33 deleted the lock-action branch November 10, 2020 23:38
@gerard33 gerard33 mentioned this pull request Nov 10, 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 18, 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