From 21b58e45a8f3659051f76b4c085e0be0727d82d6 Mon Sep 17 00:00:00 2001
From: Stefano <ssteee@gmail.com>
Date: Sat, 24 Jun 2023 11:33:17 +0100
Subject: [PATCH] chore: update crawler (#11)

---
 .github/workflows/crawler.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/crawler.yml b/.github/workflows/crawler.yml
index 6f83e86c499..0e629e24954 100644
--- a/.github/workflows/crawler.yml
+++ b/.github/workflows/crawler.yml
@@ -13,3 +13,9 @@ on:
 jobs:
   crawl:
     uses: relaton/support/.github/workflows/crawler.yml@master
+    with:
+      override-files: |
+        https://raw.githubusercontent.com/ietf-tools/bibxml-service/main/Gemfile=Gemfile
+        https://raw.githubusercontent.com/ietf-tools/bibxml-service/main/Gemfile.lock=Gemfile.lock
+      args: ${{ github.event.inputs.args }}
+      commit-indexes: false
\ No newline at end of file