diff --git a/onlinejudge_verify/main.py b/onlinejudge_verify/main.py
index d1f139f7..249cea5d 100644
--- a/onlinejudge_verify/main.py
+++ b/onlinejudge_verify/main.py
@@ -98,7 +98,8 @@ def push_timestamp_to_branch() -> None:
     subprocess.check_call(['git', 'config', '--global', 'user.name', 'GitHub'])
     subprocess.check_call(['git', 'config', '--global', 'user.email', 'noreply@github.com'])
     path = onlinejudge_verify.marker.get_verification_marker().json_path
-    logger.info('$ git add %s && git commit && git push', str(path))
+    logger.info('$ git pull && git add %s && git commit && git push', str(path))
+    subprocess.check_call(['git', 'pull'])
     if path.exists():
         subprocess.check_call(['git', 'add', str(path)])
     if subprocess.run(['git', 'diff', '--quiet', '--staged'], check=False).returncode: