New Skara feature: dependent pull requests

[mark.reinhold at oracle.com]

2021/3/28 8:15:35 -0700, fw at deneb.enyo.de:
> * 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.

That would certainly be convenient, if it’s possible.

- Mark