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

force move

Browse source 
Move will fail if the file is already on website and was re-downloaded
to generate rpms with, so force makes sure it moves.
This commit is contained in:
Joey Hess 2019-12-31 18:09:17 -04:00
parent fa55a83206
commit 85fc83eaf4
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Build/DistributionUpdate.hs
View file

@ -153,6 +153,7 @@ makeinfos updated version = do
, Param "move"
, Param "--to"
, Param "website"
, Param "--force"
]
void $ inRepo $ runBool
[ Param "annex"