From 61aa6e4020a2fb5cc6a8c91e016f90f0fd427b35 Mon Sep 17 00:00:00 2001
From: Github Actions <actions@github.com>
Date: Wed, 4 Mar 2020 14:47:12 +0000
Subject: [PATCH] :construction_worker_man: sync DINAR

Pushed from  https://github.com/itpp-labs/DINAR/.github/workflows/fork2repos.yml
---
 .github/workflows/DINAR-pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/DINAR-pr.yml b/.github/workflows/DINAR-pr.yml
index 8d30592..55d46b8 100644
--- a/.github/workflows/DINAR-pr.yml
+++ b/.github/workflows/DINAR-pr.yml
@@ -143,7 +143,7 @@ jobs:
           ref: master # TODO: use fixed version
       - name: Configure docker
         run: |
-          bash DINAR/workflow-files/configure-docker.sh ${{ secrets.DINAR_TOKEN }}
+          bash DINAR/workflow-files/configure-docker.sh ${{ secrets.DINAR_TOKEN || secrets.GITHUB_TOKEN }}
       - name: Install python tools
         run: |
           pip install plumbum PyGithub pyyaml