From d3be29fcd8f4e046bbe7e562449e8ee41d972def Mon Sep 17 00:00:00 2001
From: Uwe Hernandez Acosta <u.hernandez@hzdr.de>
Date: Mon, 15 Jul 2024 22:26:01 +0200
Subject: [PATCH] removed add_QEDcore_dev.jl and related ci and workflow

---
 .github/workflows/BuildDeployDoc.yml | 1 -
 .gitlab-ci.yml                       | 1 -
 add_QEDcore_dev.jl                   | 5 -----
 3 files changed, 7 deletions(-)
 delete mode 100644 add_QEDcore_dev.jl

diff --git a/.github/workflows/BuildDeployDoc.yml b/.github/workflows/BuildDeployDoc.yml
index e56f494..62f64e8 100644
--- a/.github/workflows/BuildDeployDoc.yml
+++ b/.github/workflows/BuildDeployDoc.yml
@@ -21,7 +21,6 @@ jobs:
           version: "1.10"
       - name: Install dependencies
         run: |
-          julia --project=docs/ add_QEDcore_dev.jl
           julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy
         env:
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 9a831ba..cc36e3d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,7 +9,6 @@ stages:
   script:
     - apt update && apt install -y git
     - git clone --depth 1 -b dev https://github.com/QEDjl-project/QED.jl.git /QEDjl
-    - julia --project=. add_QEDcore_dev.jl
     - >
       if [[ $CI_COMMIT_BRANCH == "main" || $CI_COMMIT_REF_NAME == "main" || $CI_COMMIT_BRANCH == "dev" || $CI_COMMIT_REF_NAME == "dev" ]]; then
         # set name of the commit message from CI_COMMIT_MESSAGE to NO_MESSAGE, that the script does not read accidentally custom packages from the commit message of a merge commit
diff --git a/add_QEDcore_dev.jl b/add_QEDcore_dev.jl
deleted file mode 100644
index c8da8a5..0000000
--- a/add_QEDcore_dev.jl
+++ /dev/null
@@ -1,5 +0,0 @@
-
-@warn "This repository depends on the dev branch of QEDcore.jl\n It is NOT ready for release!"
-
-using Pkg: Pkg
-Pkg.add(; url="https://github.com/QEDjl-project/QEDcore.jl", rev="dev")