don't delete manifest from remote on pushEmpty

I missed this in commit 3f848564ac,
the absence of a manifest prevents fetching.
This commit is contained in:
Joey Hess 2024-05-20 13:01:13 -04:00
parent 034d1a80ba
commit 4ce70533e9
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38

View file

@ -381,8 +381,7 @@ pushEmpty st rmt = do
manifest <- maybe (downloadManifestWhenPresent rmt) pure
(manifestCache st)
uploadManifest rmt mempty
ok <- allM (dropKey rmt)
(genManifestKey (Remote.uuid rmt) : inManifest manifest)
ok <- allM (dropKey rmt) (inManifest manifest)
return (ok, st { manifestCache = Nothing })
data RefSpec = RefSpec