www-infrastructure-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jochen Theodorou <blackd...@gmx.org>
Subject Re: git and deleting branches
Date Wed, 11 Nov 2015 12:47:15 GMT
If we can't currently cannot delete a branch ourselves, then what is the 
procedure to do this through infra? Make a ticket and done? Or do you 
need more? Or is there simply no deleting at all right now? If the 
later, then I hope it will not take months ;)

bye Jochen

View raw message