From 0e7b3c38f0da806e1bbdffcdd0c0a851ae2c8f4f Mon Sep 17 00:00:00 2001
From: Lorenzo Bettini <lorenzo.bettini@gmail.com>
Date: Thu, 30 Mar 2023 17:50:12 +0200
Subject: [PATCH] nightly deploy Jenkinsfile with standard name

---
 .../Jenkinsfile}                                                  | 0
 jenkins/{ => other-experiments}/Jenkinsfile-maven-deploy          | 0
 jenkins/{ => other-experiments}/Jenkinsfile-p2-deploy             | 0
 jenkins/{ => other-experiments}/Jenkinsfile-p2-deploy-nightly     | 0
 4 files changed, 0 insertions(+), 0 deletions(-)
 rename jenkins/{Jenkinsfile-full-deploy-nightly => nightly-deploy/Jenkinsfile} (100%)
 rename jenkins/{ => other-experiments}/Jenkinsfile-maven-deploy (100%)
 rename jenkins/{ => other-experiments}/Jenkinsfile-p2-deploy (100%)
 rename jenkins/{ => other-experiments}/Jenkinsfile-p2-deploy-nightly (100%)

diff --git a/jenkins/Jenkinsfile-full-deploy-nightly b/jenkins/nightly-deploy/Jenkinsfile
similarity index 100%
rename from jenkins/Jenkinsfile-full-deploy-nightly
rename to jenkins/nightly-deploy/Jenkinsfile
diff --git a/jenkins/Jenkinsfile-maven-deploy b/jenkins/other-experiments/Jenkinsfile-maven-deploy
similarity index 100%
rename from jenkins/Jenkinsfile-maven-deploy
rename to jenkins/other-experiments/Jenkinsfile-maven-deploy
diff --git a/jenkins/Jenkinsfile-p2-deploy b/jenkins/other-experiments/Jenkinsfile-p2-deploy
similarity index 100%
rename from jenkins/Jenkinsfile-p2-deploy
rename to jenkins/other-experiments/Jenkinsfile-p2-deploy
diff --git a/jenkins/Jenkinsfile-p2-deploy-nightly b/jenkins/other-experiments/Jenkinsfile-p2-deploy-nightly
similarity index 100%
rename from jenkins/Jenkinsfile-p2-deploy-nightly
rename to jenkins/other-experiments/Jenkinsfile-p2-deploy-nightly