Add details of PR merge strategy to contributing docs.