mirror of https://github.com/voidlizard/hbs2
import after export
This commit is contained in:
parent
3681fd7bee
commit
22bb266f02
|
@ -81,7 +81,7 @@ push remote what@[Just bFrom , Just br] = do
|
||||||
trace $ "PUSH PARAMS" <+> pretty what
|
trace $ "PUSH PARAMS" <+> pretty what
|
||||||
gh <- gitGetHash (normalizeRef bFrom) `orDie` [qc|can't read hash for ref {pretty br}|]
|
gh <- gitGetHash (normalizeRef bFrom) `orDie` [qc|can't read hash for ref {pretty br}|]
|
||||||
_ <- traceTime "TIME: exportRefOnly" $ exportRefOnly () remote (Just bFrom) br gh
|
_ <- traceTime "TIME: exportRefOnly" $ exportRefOnly () remote (Just bFrom) br gh
|
||||||
-- importRefLogNew False remote
|
importRefLogNew False remote
|
||||||
pure (Just br)
|
pure (Just br)
|
||||||
|
|
||||||
push remote [Nothing, Just br] = do
|
push remote [Nothing, Just br] = do
|
||||||
|
@ -92,7 +92,7 @@ push remote [Nothing, Just br] = do
|
||||||
loadCredentials mempty
|
loadCredentials mempty
|
||||||
trace $ "deleting remote reference" <+> pretty br
|
trace $ "deleting remote reference" <+> pretty br
|
||||||
exportRefDeleted () remote br
|
exportRefDeleted () remote br
|
||||||
-- importRefLogNew False remote
|
importRefLogNew False remote
|
||||||
pure (Just br)
|
pure (Just br)
|
||||||
|
|
||||||
push r w = do
|
push r w = do
|
||||||
|
|
Loading…
Reference in New Issue