RFR: Do not use pull in merge bot

[Erik Helin]

Hi all,

please review this patch that ensures that merge bot do not use pull (it should
only use merge operations).

Thanks,
Erik

-------------

Commits:
 - c32e82de: Do not use pull in merge bot

Changes: https://git.openjdk.java.net/skara/pull/401/files
 Webrev: https://webrevs.openjdk.java.net/skara/401/webrev.00
  Stats: 38 lines in 4 files changed: 23 ins; 7 del; 8 mod
  Patch: https://git.openjdk.java.net/skara/pull/401.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/401/head:pull/401

PR: https://git.openjdk.java.net/skara/pull/401