From 4dda365b0a28e42b389df55fa40be938b9350290 Mon Sep 17 00:00:00 2001
From: eric-burel <eb@lebrun-burel.com>
Date: Tue, 20 Jul 2021 18:50:58 +0200
Subject: [PATCH] add wei/pull config

---
 .github/pull.yml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 .github/pull.yml

diff --git a/.github/pull.yml b/.github/pull.yml
new file mode 100644
index 00000000..d6c19334
--- /dev/null
+++ b/.github/pull.yml
@@ -0,0 +1,7 @@
+# Ensure forks main branch is updated for people using wei/pull
+# @see https://github.com/wei/pull#readme
+version: "1"
+rules:
+  - base: main # we need to specify the branch, because "main" is NOT the default (we use "devel")
+    upstream: VulcanJS:main
+    mergeMethod: hardreset