Check that the commit doesn't have the old original commit as ancestor

.gitlab-ci.yml

@@ -9,6 +9,14 @@ variables:
     DEFAULT: "master"
     FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
 
+check-no-old-frama-c:
+  stage: git-update
+  script:
+   - ! git merge-base --is-ancestor a1e186c68a6418a53b3dc06237f49e8dcbf75f4a HEAD
+   - git merge-base --is-ancestor a35d2118fe6999dddce9e1847eff626fae9cc37c HEAD
+  tags:
+   - nix
+
 #avoid a nix error https://github.com/NixOS/nix/issues/2087
 git-update:
   stage: git-update