Empty commit

.github/workflows/pull_request.yml

@@ -0,0 +1,16 @@
+on: pull_request
+name: Synchronize the Pull Request Preview
+jobs:
+  update-pr-preview:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/[email protected]
+      with:
+        ref: refs/heads/master
+    - name: update-pr-preview
+      uses: ./tools/docker/github
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      with:
+        entrypoint: python
+        args: tools/ci/update_pr_preview.py https://api.github.com

tools/ci/update_pr_preview.py

@@ -250,6 +250,9 @@ def main(api_root):
 
 
 if __name__ == '__main__':
+    import subprocess
+    logger.info(subprocess.check_output(['git', 'status']))
+    logger.info(subprocess.check_output(['git', 'log', '-n1']))
     code = main(sys.argv[1])
     assert isinstance(code, int)
     sys.exit(code)