Merge branch 'master' of ssh://git-annex.branchable.com

This commit is contained in:
Joey Hess 2021-04-20 11:08:06 -04:00
commit 3d9d1d1416
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
7 changed files with 105 additions and 8 deletions

View file

@ -0,0 +1,8 @@
[[!comment format=mdwn
username="Ilya_Shlyakhter"
avatar="http://cdn.libravatar.org/avatar/1647044369aa7747829c38b9dcc84df0"
subject="comment 3"
date="2021-04-18T23:45:25Z"
content="""
As a more general solution, suppose [[git-annex-matching-options]] were extended with the expressions `—includeifany=glob` (true for a key if *any* file using that key matches `glob`), `—includeifall=glob` (true for a key if *all* files using that key match `glob`), and similarly `—excludeifany/all`. Then use `drop —includeifall=path/*`.
"""]]