New Skara feature: dependent pull requests

Florian Weimer fw at deneb.enyo.de
Sun Mar 28 15:15:35 UTC 2021


* Erik Helin:

> The branches named `pr/<ID>` are automatically removed when the
> corresponding pull request is closed.

For the local clones, you need to run “git remote prune origin”
periodically.

Alternatively, the repository could be configured in such a way that
the /pr/ branches are excluded from the default fetch set, if Github
supports that.


More information about the skara-dev mailing list