Skip to content

Conversation

crepererum
Copy link
Collaborator

The external bot was replaced by a GitHub action in #127.

The external bot was replaced by a GitHub action in #127.
@crepererum crepererum added the automerge Instruct kodiak to merge the PR label Apr 19, 2022
@kodiakhq kodiakhq bot merged commit 4e8326e into main Apr 19, 2022
@kodiakhq kodiakhq bot deleted the crepererum/remove_semantic_cfg_file branch April 19, 2022 10:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge Instruct kodiak to merge the PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants