You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
111: bors: Delete merged branches on main repository r=sjoerdsimons a=obbardc
Once bors merges a branch from the main (i.e. this) repository, the original wip branch isn't removed. Add the configuration to delete the branch after the merge has completed.
Signed-off-by: Christopher Obbard <[email protected]>
Co-authored-by: Christopher Obbard <[email protected]>
I don't see any caveats that this tool wont work on 16.04 (xenial) however the installation steps in the README do not work on 16.04. Is there:
The text was updated successfully, but these errors were encountered: