Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

The GitHub user doesn't tigger workflows, using our bot account fixes this.

@lucacome lucacome requested a review from a team as a code owner June 29, 2023 20:19
@lucacome lucacome self-assigned this Jun 29, 2023
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jun 29, 2023
@lucacome lucacome enabled auto-merge (squash) June 30, 2023 11:27
@lucacome lucacome merged commit 1b62060 into main Jun 30, 2023
@lucacome lucacome deleted the chore/sync-bot branch June 30, 2023 11:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants