21 lines
1.2 KiB
Python
21 lines
1.2 KiB
Python
#!/usr/bin/env python3
|
|
# Writes .github/README.md = mirror notice + README.md. GitHub shows .github/README.md in preference to the root one,
|
|
# while git.bug.tools (Gitea/Forgejo) shows the root README.md, so the notice only appears on the GitHub mirror.
|
|
# Relative links are made repo-root-absolute ("/path") since the file lives in .github/. Run after editing README.md
|
|
# (CI fails if it's out of date).
|
|
import os, re, sys
|
|
ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
|
|
NOTICE = ("> [!NOTE]\n> This is a read-only mirror of **https://git.bug.tools/bug/imgui-luau**. "
|
|
"Releases are built here by GitHub Actions; development happens on git.bug.tools.\n\n")
|
|
src = open(os.path.join(ROOT, "README.md")).read()
|
|
def fix(m):
|
|
url = m.group(2)
|
|
if re.match(r"^([a-z]+:|#|/)", url): return m.group(0)
|
|
return m.group(1) + "/" + url + ")"
|
|
out = NOTICE + re.sub(r"(\]\()([^)\s]+)\)", fix, src)
|
|
path = os.path.join(ROOT, ".github", "README.md")
|
|
if "--check" in sys.argv:
|
|
sys.exit(0 if os.path.exists(path) and open(path).read() == out else "out of date: run python3 tools/sync_github_readme.py")
|
|
open(path, "w").write(out)
|
|
print("wrote .github/README.md")
|