ci: point the push gate at develop after dev → develop rename#36

mibrahimdev merged 1 commit into

developmibrahimdev/Sharingan:developfrom

ci/correct-develop-push-triggermibrahimdev/Sharingan:ci/correct-develop-push-triggerCopy head branch name to clipboard