git: openjdk/skara: Do not use pull in merge bot

[Erik Helin]

Changeset: c80ca805
Author:    Erik Helin <ehelin at openjdk.org>
Date:      2020-02-05 15:10:49 +0000
URL:       https://git.openjdk.java.net/skara/commit/c80ca805

Do not use pull in merge bot

Reviewed-by: rwestberg

! bots/merge/src/main/java/org/openjdk/skara/bots/merge/MergeBot.java
! vcs/src/main/java/org/openjdk/skara/vcs/Repository.java
! vcs/src/main/java/org/openjdk/skara/vcs/git/GitRepository.java
! vcs/src/main/java/org/openjdk/skara/vcs/hg/HgRepository.java