diff options
| -rw-r--r-- | CHANGELOG | 6 | ||||
| -rw-r--r-- | Git/Ref.hs | 9 | ||||
| -rw-r--r-- | doc/tips/publishing_your_files_to_the_public/comment_5_3216edeefa99f484194d6de061283170._comment | 8 |
3 files changed, 21 insertions, 2 deletions
@@ -1,3 +1,9 @@ +git-annex (6.20171027) UNRELEASED; urgency=medium + + * Fix export of subdir of a branch. + + -- Joey Hess <id@joeyh.name> Mon, 30 Oct 2017 12:01:45 -0400 + git-annex (6.20171026) unstable; urgency=medium * Windows: Fix reversion that caused the path used to link diff --git a/Git/Ref.hs b/Git/Ref.hs index 06fc5dcd7..9a2e47c37 100644 --- a/Git/Ref.hs +++ b/Git/Ref.hs @@ -136,8 +136,13 @@ delete oldvalue ref = run {- Gets the sha of the tree a ref uses. -} tree :: Ref -> Repo -> IO (Maybe Sha) -tree ref = extractSha <$$> pipeReadStrict - [ Param "rev-parse", Param (fromRef ref ++ ":") ] +tree (Ref ref) = extractSha <$$> pipeReadStrict + [ Param "rev-parse", Param ref' ] + where + ref' = if ':' `isInfixOf` ref + then ref + -- de-reference commit objects to the tree + else ref ++ ":" {- Checks if a String is a legal git ref name. - diff --git a/doc/tips/publishing_your_files_to_the_public/comment_5_3216edeefa99f484194d6de061283170._comment b/doc/tips/publishing_your_files_to_the_public/comment_5_3216edeefa99f484194d6de061283170._comment new file mode 100644 index 000000000..3d7d1196e --- /dev/null +++ b/doc/tips/publishing_your_files_to_the_public/comment_5_3216edeefa99f484194d6de061283170._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="joey" + subject="""Re: Problem with publishing subdir. Subdir does not exist, but it does.""" + date="2017-10-30T15:53:33Z" + content=""" +I reproduced export of master:subdir not working. It's a bug in git-annex, +now fixed! +"""]] |