fix_git #155
Loading…
Reference in New Issue
There is no content yet.
Delete Branch "fix_git"
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?
WIP
Corrección en la biblioteca gitlib
- SSH: add GIT_SSH_COMMAND=StrictHostKeyChecking=accept-new - Locks: write PID to lock files (create_metadata, restore_metadata) - Add _is_lock_alive() to detect stale locks by PID - is_broken() auto-removes stale locks instead of falsely blocking - is_broken() fix: create_meta_lock was incorrectly pointing to restore_metadata.lock - _atomic_replace_if_changed(): skip rename if MD5 unchanged to avoid spurious git objects - commit(): use repo.git.add(A=True) instead of repo.index.add('*') - cloneRepo(): remove debug os._exit(10) that was killing the process - cloneRepo(): add try/except around clone_from() with stderr logging and partial-dir cleanup - cloneRepo(): fix IndexError on repo.heads[branch] (moved inside else block, use remotes.origin.refs) - cloneRepo(): add git clean -fd after reset --hard to remove untracked files - cloneRepo(): fix logger.info missing format argument for destination - ModificarImagenGit: force_push=True by default, opt-out via no_force_push - Add __main__.py for standalone GitLib execution