Skip to content

feat(include-qualified): allow renaming directories with (include_subdirs qualified) - #13691

Open
anmonteiro wants to merge 13 commits into
ocaml:mainfrom
anmonteiro:anmonteiro/include-qualified-rename
Open

feat(include-qualified): allow renaming directories with (include_subdirs qualified)#13691
anmonteiro wants to merge 13 commits into
ocaml:mainfrom
anmonteiro:anmonteiro/include-qualified-rename

Conversation

@anmonteiro

@anmonteiro anmonteiro commented Feb 28, 2026

Copy link
Copy Markdown
Collaborator

fixes #7605

@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch from 41011d1 to 4d36d7e Compare March 1, 2026 06:59
@anmonteiro anmonteiro changed the title feat(include-qualified): allow renaming directories with (include_subdirs qualiied) feat(include-qualified): allow renaming directories with (include_subdirs qualified) Apr 27, 2026
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch from 4d36d7e to 8051e4d Compare April 27, 2026 04:34
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch from 096e9e1 to 1ddf25d Compare May 23, 2026 08:50
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch 2 times, most recently from 2a4bd9a to dba6bd7 Compare June 27, 2026 08:38
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch 5 times, most recently from a125433 to 731a184 Compare June 28, 2026 01:51
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch from 7fa082a to 5654043 Compare July 8, 2026 05:10
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch from 3b7c982 to 60abbf5 Compare July 27, 2026 01:36
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
@anmonteiro
anmonteiro force-pushed the anmonteiro/include-qualified-rename branch from 60abbf5 to fc911bd Compare September 8, 2026 23:51
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
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.

include_subdirs qualified should allow mapping folders to module names

1 participant