On 14.11.2013 14:24, Werner Koch wrote: > On Thu, 14 Nov 2013 13:08, jussi.kivilinna at iki.fi said: > >> I accidentally pushed 'gcm' work branch to git.gnupg.org, and could not remove it since removing branches is blocked at the server. > > I'll do it. > Thanks. -Jussi