Update sync action to overwrite develop in mirror (#8690)

Author: seshubaws

.github/workflows/sync-to-mirror-repo.yml

@@ -23,4 +23,4 @@ jobs:
       - name: Push to mirror repo
         run: |
           git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git
-          git push origin develop:develop --force-with-lease
+          git push origin develop:develop --force