Skip to content

Conversation

@jessegeens
Copy link
Contributor

@jessegeens jessegeens commented Sep 1, 2025

To be merged after #5285

Additionally, a small cleanup thing: the .zed folder (for the Zed IDE) has been removed and added to the gitignore

@update-docs
Copy link

update-docs bot commented Sep 1, 2025

Thanks for opening this pull request! The maintainers of this repository would appreciate it if you would create a changelog item based on your changes.

@jessegeens jessegeens force-pushed the fix/remove-enable-home branch 4 times, most recently from 81aaffb to e56573f Compare September 25, 2025 14:15
@jessegeens jessegeens force-pushed the fix/remove-enable-home branch 2 times, most recently from 816a919 to 6904afb Compare October 1, 2025 12:40
@jessegeens jessegeens marked this pull request as ready for review November 17, 2025 09:34
@jessegeens jessegeens force-pushed the fix/remove-enable-home branch from 6904afb to 138a1d2 Compare November 17, 2025 09:35
@glpatcern glpatcern merged commit 326d5a1 into master Nov 17, 2025
14 checks passed
@jessegeens jessegeens deleted the fix/remove-enable-home branch December 11, 2025 13:07
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.

3 participants