Skip to content

Conversation

@CGMossa
Copy link
Member

@CGMossa CGMossa commented Apr 11, 2025

No description provided.

@CGMossa CGMossa force-pushed the get_gitignored_right branch from 8a8aef8 to f92c6d5 Compare April 13, 2025 20:59
@CGMossa CGMossa marked this pull request as draft April 13, 2025 20:59
@CGMossa CGMossa marked this pull request as ready for review October 29, 2025 18:10
@CGMossa CGMossa merged commit 9a33846 into extendr:main Oct 29, 2025
18 of 33 checks passed
@CGMossa CGMossa deleted the get_gitignored_right branch October 29, 2025 18:10
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.

1 participant