File content handled by git-annex is not automatically transferred between repositories (forks) when merging pull requests.
This is probably unexpected for most users and therefore should be raising a warning when PRs with git-annex content are opened or merged.
File content handled by git-annex is not automatically transferred between repositories (forks) when merging pull requests.
This is probably unexpected for most users and therefore should be raising a warning when PRs with git-annex content are opened or merged.
Tooltips for both the fork and PR buttons mention this, but I'm sure they can easily be missed. The PR and Fork forms should probably include a warning as well. Thanks.
Tooltips for both the fork and PR buttons mention this, but I'm sure they can easily be missed. The PR and Fork forms should probably include a warning as well. Thanks.
File content handled by git-annex is not automatically transferred between repositories (forks) when merging pull requests. This is probably unexpected for most users and therefore should be raising a warning when PRs with git-annex content are opened or merged.
Tooltips for both the fork and PR buttons mention this, but I'm sure they can easily be missed. The PR and Fork forms should probably include a warning as well. Thanks.
Here's a proposal, that might also be interesting for PR with git-annex content on GIN: https://github.com/datalad/datalad/issues/5105
Very useful. Thanks.