Re: [Git-dpm-user] What is the official git-dpm way to delete a patch?; I have found another bug.

2013-08-29 Thread Bernhard R. Link
* Paul Elliott [130829 04:15]: > In that case, I have found another bug. > > If you have a patch that deletes a file, and then > delete that patch, the file should reappear. > It does on the patched branch, but when update-patches > happens the deleted file does not reappear on the master > branch

Re: [Git-dpm-user] What is the official git-dpm way to delete a patch?; I have found another bug.

2013-08-28 Thread Paul Elliott
On Wed, Aug 28, 2013 at 09:44:56PM +0200, Bernhard R. Link wrote: > * Paul Elliott [130828 06:25]: > > What is the official git-dpm way to delete a patch > > that is not wanted anymore? The public branches > > have been pushed and so cannot be changed, only added > > to. > > > > The way I have bee