On 28/02/06, Catalin Marinas <catalin.marinas@xxxxxxxxx> wrote: > On 27/02/06, Catalin Marinas <catalin.marinas@xxxxxxxxx> wrote: > > An idea (untested, I don't even know whether it's feasible) would be to > > check which patches were merged by reverse-applying them starting with > > the last. In this situation, all the merged patches should just revert > > their changes. You only need to do a git-diff between the bottom and the > > top of the patch and git-apply the output (maybe without even modifying > > the tree). If this operation succeeds, the patch was integrated and you > > don't even need to push it. > > I tried some simple tests with the idea above. I attached a patch if > you'd like to try (I won't push it to the main StGIT repository yet. > For safety reasons, it only skips the merged patches when pushing > them. A future version could simply delete the merged patches. Don't bother trying this patch. I just found a bug with git.reset() and the caching of the git.__head variable. I'll post another patch in a few hours. -- Catalin - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html