Merge branch 'push_develop' into 'develop'

push directly to develop

See merge request threat-research/security_content!1299

Author: patel-bhavin

contentctl

@@ -170,7 +170,7 @@ update_gitlab_dist:
     - git add dist/DA-ESS-ContentUpdate/*
     - git add dist/ssa/*
     - git commit -m "Auto-update dist/* files for ESCU,BA,API via release job for tag $CI_COMMIT_TAG [skip ci]"
-    - git push origin HEAD:$CI_COMMIT_REF_NAME
+    - git push origin develop
   rules:
     - if: '$CI_COMMIT_TAG =~ /^v[0-9]+\.[0-9]+\.[0-9]$/'
       when: manual