Skip to content

Conversation

simonschaufi
Copy link
Contributor

Resolves: #453

@TomasVotruba
Copy link
Member

Looks very good, thank you 😇

@TomasVotruba TomasVotruba merged commit c883a96 into rectorphp:main Jul 6, 2025
6 checks passed
@simonschaufi
Copy link
Contributor Author

can you please set in the repo settings that HEAD branches are automatically removed once they are merged?

@simonschaufi simonschaufi deleted the issue-453 branch July 6, 2025 22:40
@TomasVotruba
Copy link
Member

Screenshot_20250707-070516

It's already enabled 👍

@simonschaufi
Copy link
Contributor Author

ah ok. I still had to delete my branch. Maybe that is only the case for branches of the same repo, not for forks.

@TomasVotruba
Copy link
Member

TomasVotruba commented Jul 7, 2025

Indeed, I think we can't delete branches in forks. That would be too invasive.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Missing migration for resetQueryPart
2 participants