Remove stale branches?

[David Edmundson]

Yes, we should remove stale personal branches

git push origin :someBranchName   (with the colon)

for non-stale branches you use the prefix "work/someBranchName"  and you
can use that directly from gitlab without a fork which you can force push
to.
Gitlab has a button to auto-remove those on merge.

David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/plasma-devel/attachments/20200526/4c688793/attachment.htm>