Skip to content

Ignore VCS directories when adding or updating local non-VCS repositories - #6575

Merged
rjbou merged 4 commits into
ocaml:masterfrom
kit-ty-kate:no-vcs-local-repo
Jul 3, 2025
Merged

Ignore VCS directories when adding or updating local non-VCS repositories#6575
rjbou merged 4 commits into
ocaml:masterfrom
kit-ty-kate:no-vcs-local-repo

Conversation

@kit-ty-kate

Copy link
Copy Markdown
Member

Fixes #6560

@kit-ty-kate kit-ty-kate added this to the 2.4.0~beta2 milestone Jun 30, 2025
@kit-ty-kate
kit-ty-kate requested a review from rjbou June 30, 2025 18:42
@kit-ty-kate
kit-ty-kate force-pushed the no-vcs-local-repo branch 2 times, most recently from 96e3b39 to 4f44bdb Compare June 30, 2025 20:24
Comment thread src/repository/opamRepository.ml Outdated
Comment thread master_changes.md Outdated
Comment thread master_changes.md Outdated
@rjbou
rjbou force-pushed the no-vcs-local-repo branch from dd63746 to 85e478f Compare July 3, 2025 12:40

@rjbou rjbou left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@rjbou
rjbou merged commit 4e13b4f into ocaml:master Jul 3, 2025
44 checks passed
@kit-ty-kate
kit-ty-kate deleted the no-vcs-local-repo branch July 3, 2025 18:08
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.

Ignore .git directories when updating a repository

2 participants