chiark / gitweb /
Add an option to delete a patch from a certain branch