Re: [yast-devel] Automatically delete the PR branches at GitHub?