[I love our infrastructure, just this bit triggered my reply-to-email reflex]
On Wednesday, December 10, 2014 10:28:59 Christian Mollekopf wrote: > * deleting branches: This is the only major gripe I have with the kde > infrastructure. I think everyone should be able to delete branches (except > some blacklisted ones). If I cannot delete my branches when I no longer > need them I try to avoid pushing them, which doesn't help. Personal clones > are not a solution IMO because you have to manage additional remotes. IMO > the benefits outweigh the danger of someone accidentally deleting someone > else's branch. Perhaps a naming scheme could be established for such > branches, such as: dev/$foo or feature/$foo In Plasma, we usually name branches <username>/<topic>, so for example sebas/breakpluginloader. It'd be supersweet if the user who "owns" this branch would be able to delete it. I often leave these branches lingering for too long before I ask notmart to delete them, so that would be a useful addition. I quite like not being able to delete arbitrary branches. Cheers, -- sebas http://www.kde.org | http://vizZzion.org | GPG Key ID: 9119 0EF9
