Testing if pushing new commits to a branch add them
automatically to a merged/closed pull-request
Merge 8b2ea38f32677c33e0633b77cd0629933d773622 into 81f3d8303985fe5204ccc924fb6475ae51beeab3