New Skara feature: dependent pull requests

Florian Weimer fw at
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”

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