New Skara feature: dependent pull requests

mark.reinhold at mark.reinhold at
Mon Mar 29 19:03:18 UTC 2021

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

More information about the jdk-dev mailing list