Testing if pushing new commits to a branch add them
automatically to a merged/closed pull-request