On 27/02/06, Catalin Marinas <catalin.marinas@gmail.com> 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. -- Catalin - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
This archive was generated by hypermail 2.1.8 : 2006-03-01 02:01:11 EST