Currently, one has to manually remove branches on both repositories.

For this to work, it needs some custom code to create ad-hoc branches with merged PR state. Let's disable this for now.