useful url

scripts/detect_sha_changes.py

@@ -85,7 +85,12 @@ def encode_msg_text_for_github(msg):
                 continue
 
         if a_info is not None and b_info is not None:
-            print(f"::info file={diff.b_blob.path},line={b_info.commit_line_no},title=Note SHA change::{a_info} -> {b_info}")
+            if a_info.module == b_info.module:
+                mod_path = a_info.module.replace('.', '/')
+                msg = "See https://leanprover-community.github.io/mathlib-port-status/file/{mod_path}?range={a_info.commit}..{b_info.commit}"
+                print(f"::notice file={diff.b_blob.path},line={b_info.commit_line_no},title=Synchronization::{msg}")
+            else:
+                print(f"::warning file={diff.b_blob.path},line={b_info.commit_line_no},title=Filename changed!::{a_info} -> {b_info}")
 
     if any_errors:
         raise SystemExit()