Delete branch once Auto-update is merged #109
Description
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.