These branches are no longer necessary, as all of their commits are in the main branch.
Currently, the branches must be deleted manually (e.g. this pr), I suggest we look into having it clean up automatically.