This patch introduces the ability to specify a target branch for patches using the patch.destination push option. Previously patches implicitly targeted the repository's default branch. Furthermore this patch introduces strict isolation for merges and reverts: a patch will now only be marked as merged or reverted if the commits are pushed to its explicitly intended destination branch.