force push

Change-Id: I9db1074c83062fc28d52d6db7215fe5620c46aa1

Author: Hiro

.github/workflows/pull.yml

@@ -65,5 +65,5 @@ jobs:
         run: |
           git log -n 2
           git status
-          git push origin master 
-          git push --tags
+          git push -f origin master 
+          git push -f --tags