python
diff --git a/‎scripts/determine-build-type
Lines changed: 0 additions & 17 deletions b/‎scripts/determine-build-type
Lines changed: 0 additions & 17 deletions
diff --git a/‎scripts/pr-merge/main.sh
Lines changed: 0 additions & 5 deletions b/‎scripts/pr-merge/main.sh
Lines changed: 0 additions & 5 deletions
diff --git a/‎scripts/pr/main.sh
Lines changed: 0 additions & 5 deletions b/‎scripts/pr/main.sh
Lines changed: 0 additions & 5 deletions
diff --git a/‎scripts/push/main.sh
Lines changed: 0 additions & 6 deletions b/‎scripts/push/main.sh
Lines changed: 0 additions & 6 deletions
diff --git a/‎scripts/push/prepare-build_3.10
Lines changed: 0 additions & 31 deletions b/‎scripts/push/prepare-build_3.10
Lines changed: 0 additions & 31 deletions
diff --git a/‎scripts/push/renew-catalog-template renamed to ‎scripts/renew-catalog-template b/‎scripts/push/renew-catalog-template renamed to ‎scripts/renew-catalog-template
diff --git a/‎scripts/push/upload-catalog renamed to ‎scripts/upload-catalog b/‎scripts/push/upload-catalog renamed to ‎scripts/upload-catalog