From 18387fca139f22f0b4027ed29031c928244d30c2 Mon Sep 17 00:00:00 2001 From: Wilfried Kopp Date: Tue, 9 Aug 2022 20:53:13 +0200 Subject: [PATCH] Move script --- scripts/ci/{ => github}/extrinsic-ordering-filter.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/ci/{ => github}/extrinsic-ordering-filter.sh (100%) diff --git a/scripts/ci/extrinsic-ordering-filter.sh b/scripts/ci/github/extrinsic-ordering-filter.sh similarity index 100% rename from scripts/ci/extrinsic-ordering-filter.sh rename to scripts/ci/github/extrinsic-ordering-filter.sh