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