Skip to content

Replace lock bot with GitHub Action#7633

Merged
frenck merged 1 commit intodevfrom
frenck-2020-0917
Nov 9, 2020
Merged

Replace lock bot with GitHub Action#7633
frenck merged 1 commit intodevfrom
frenck-2020-0917

Conversation

@frenck
Copy link
Member

@frenck frenck commented Nov 9, 2020

Proposed change

It seems like our lock bot hasn't been working for quite some time now.
This PR replaces the lock bot with a lock GitHub action.

Type of change

  • Dependency upgrade
  • Bugfix (non-breaking change which fixes an issue)
  • New feature (thank you!)
  • Breaking change (fix/feature causing existing functionality to break)
  • Code quality improvements to existing code or addition of tests

Example configuration

Additional information

  • This PR fixes or closes issue: fixes #
  • This PR is related to issue:
  • Link to documentation pull request:

Checklist

  • The code change is tested and works locally.
  • There is no commented out code in this PR.
  • Tests have been added to verify that the new code works.

If user exposed functionality or configuration variables are added/changed:

@frenck frenck merged commit c162e84 into dev Nov 9, 2020
@frenck frenck deleted the frenck-2020-0917 branch November 9, 2020 11:49
KTibow pushed a commit to KTibow/frontend-1 that referenced this pull request Nov 10, 2020
KTibow added a commit to KTibow/frontend-1 that referenced this pull request Nov 10, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Nov 10, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants