diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2017-10-30 12:02:18 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2017-10-30 12:02:22 -0400 |
| commit | 2b936be6f9a4b0340c5f32267429f2505230daaa (patch) | |
| tree | 896f1ac4bc4900ae3737caf4367c20c6761d785c /doc/tips | |
| parent | 8f26492d1e61cca2a557b192821e566611cc15be (diff) | |
Fix export of subdir of a branch.
Seems I forgot to fully test that feature when documenting it.
git rev-parse needs a colon after a branch to de-reference the tree
it points to, rather than the commit. But that had it adding an extra
colon when the user specified "branch:subdir". So, check if there is a
colon before adding one.
This commit was sponsored by Francois Marier on Patreon.
Diffstat (limited to 'doc/tips')
| -rw-r--r-- | doc/tips/publishing_your_files_to_the_public/comment_5_3216edeefa99f484194d6de061283170._comment | 8 |
1 files changed, 8 insertions, 0 deletions
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! +"""]] |