[Git-dpm-user] What is the official git-dpm way to delete a patch?

[Paul Elliott]

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 been doing it is
 git-dpm checkout-patched  #checkout patched branch
 rebase -i                 #remove commit that coresponds to the patch
 git-dpm update-patches    #go back to master with patch deleted in new commits


Is this the correct way to remove an unwanted patch?
I can not find the official way documented anywhere.

-- 
Paul Elliott                               1(512)837-1096
pelliott at BlackPatchPanel.com               PMB 181, 11900 Metric Blvd Suite J
http://www.free.blackpatchpanel.com/pme/   Austin TX 78758-3117
---
"Encryption works. Properly implemented strong crypto systems are one
of the few things that you can rely on. Unfortunately, endpoint
security is so terrifically weak that NSA can frequently find ways
around it." Edward Snowden
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: Digital signature
URL: <http://lists.alioth.debian.org/pipermail/git-dpm-user/attachments/20130827/e95e011d/attachment.sig>