您可以先在暂存分支上尝试运行darcs unpull，然后再拉取修改后的补丁。

不完全正确。修改补丁后，即使名称与之前相同，它也会变成不同的补丁。通常情况下，amend-record仅在本地repo中使用，在补丁被推送/拉取到其他地方之前。如果补丁已被推到其他repo中，则需要在这些repo中将其删除，然后重新拉取修改后的版本。（obliterate是“unpull”的现代拼写方式）。

或者，使用回滚命令；当相关存储库是公共的并被多个开发人员使用时，这更加友好。