Merge pull request #11 from zmap/github-action-when-upstream-tagged

Add workflow to check for new tagged version in miekg/dns and create PR into zmap/dns

.github/pull.yml

@@ -0,0 +1,9 @@
+# Config for https://github.com/wei/pull Pull app
+version: "1"
+rules:                      # Array of rules
+  - base: master            # Required. Target branch
+    upstream: miekg/dns:master    # Required. Must be in the same fork network.
+    mergeMethod: none  # Optional, one of [none, merge, squash, rebase, hardreset], Default: none.
+    mergeUnstable: false    # Optional, merge pull request even when the mergeable_state is not clean. Default: false
+label: ":arrow_heading_down: pull"  # Optional
+conflictLabel: "merge-conflict"     # Optional, on merge conflict assign a custom label, Default: merge-conflict