RFR: Do not use pull in merge bot

Erik Helin ehelin at openjdk.java.net
Wed Feb 5 15:13:22 UTC 2020

Hi all,

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



 - 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

More information about the skara-dev mailing list