Closed pohly closed 7 months ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: pohly
The full list of commands accepted by this bot can be found here.
The pull request process is described here
/release-note-none
/lgtm thanks a lot for debugging this!
Thanks @pohly !
Without a prior
git reset --hard
,git subtree pull
fails with:Debugging with -d doesn't show any explanation and neither
git diff
norgit diff-index
show any modifications. Thegit reset --hard
shouldn't be necessary.