There are two different questions when you remove a file from a git-drs repository:
For tracked git-drs files, the recommended command is git drs rm.
git drs rm for tracked git-drs filesgit drs rm DATA/subject-123/vcf/sample1.vcf.gz
Use this when you want the supported Git-DRS delete workflow.
What it does immediately:
git-drs fileWhat happens later, when the deletion is committed and pushed:
git-drs derives deleted pointers from the pushed Git commit deltacontrolled_access resource, the remote record is deletedcontrolled_access resources, only the current organization/project resource is removedgit rm for ordinary Git-managed filesgit rm README.md
Use this for files that are not tracked by git-drs.
git drs rm DATA/subject-123/vcf/sample1.vcf.gz
git commit -m "Remove sample"
git drs push
That is the supported tracked-object delete flow.
For data objects managed by git-drs, prefer:
git drs rm <path>
git commit -m "Remove tracked object"
git drs push