Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Moss: borrar self._dest en el index #80

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Moss: borrar self._dest en el index #80

wants to merge 2 commits into from

Conversation

dato
Copy link
Member

@dato dato commented Oct 5, 2024

En versiones actuales de Git, al agregar un directorio que es a su vez un repo, se crea un "git submodule" en esa ubicación, y nuestro shutil.rmtree es insuficiente para remplazarlo. Para cubrir ese caso, este commit añade un git rm --cached tras shutil.rmtree. (N.B.: no puede usarse git rm -r, pues el directorio no aparece en .gitmodules, y el comando da error.)


Este cambio está live en lamport. Podemos hacer merge una vez confirmemos que funciona.

dato added 2 commits October 6, 2024 00:25
En versiones actuales de Git, al agregar un directorio que es a su vez un
repo, se crea un "git submodule" en esa ubicación, y nuestro `shutil.rmtree`
es insuficiente para remplazarlo. Para cubrir ese caso, este commit añade
un `git rm --cached` tras `shutil.rmtree`. (N.B.: no puede usarse `git rm -r`, 
pues el directorio no aparece en .gitmodules, y el comando da error.)
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.

2 participants