Skip to content

Conversation

@machadoit
Copy link
Contributor

@machadoit machadoit commented Feb 7, 2024

Showcasing the issue opened at #185

This shows that if instead a Rename+Changes we just have a simple rename, things don't work.

@github-actions
Copy link

github-actions bot commented Apr 8, 2024

Stale pull request message

@github-actions github-actions bot closed this Apr 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants