mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Added a comment

Browse source
This commit is contained in:
yarikoptic 2024-11-03 14:48:03 +00:00 committed by admin
parent 3d553347af
commit dcfca3f49d
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
doc/todo/copy__47__move_support_for_pushinsteadOf_/comment_5_a44a1cf7b7a96854ac5b40507865c355._comment Normal file
View file

@ -0,0 +1,12 @@
[[!comment format=mdwn
username="yarikoptic"
avatar="http://cdn.libravatar.org/avatar/f11e9c84cb18d26a1748c33b48c924b4"
subject="comment 5"
date="2024-11-03T14:48:03Z"
content="""
FWIW, I keep running into this. Re
> But: If this change were made, it would risk breaking existing working setups, that happen to have a push url that points to a different repository.
`pushurl` could take precedence, as overwrite the `pushInsteadOf` mapped value (did not check what git's behavior in presence of both pushurl and pushInsteadOf).
"""]]