Skip to content

Conversation

alessfg
Copy link
Contributor

@alessfg alessfg commented Sep 22, 2025

Proposed changes

See title.

Checklist

Before creating a PR, run through this checklist and mark each as complete:

@alessfg alessfg self-assigned this Sep 22, 2025
@alessfg alessfg added the bug Something isn't working label Sep 22, 2025
@alessfg alessfg changed the title fix: Bot usernames are wrong feat: Add Mend bot for upcoming Renovate migration Sep 22, 2025
@alessfg alessfg added enhancement New feature or request and removed bug Something isn't working labels Sep 22, 2025
@alessfg alessfg merged commit 2c58ef8 into main Sep 22, 2025
1 check passed
@alessfg alessfg deleted the fix-bots branch September 22, 2025 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants