vole
Clone
Read only, no credentials:
https://rodent.software/git/vole.git
Write over SSH with a registered key:
git clone ssh://git@0.0.0.0:2222/vole.git
A free and open-source forge that lives in your Git repo.
Merge change request 01M70WES5ZZDJ6RP226WB11BBZ: Let people rename and remove their own passkeys
keenan · 19m ago
4b8c9e1d
| 1 | #!/usr/bin/env python3 |
| 2 | """Fail when a Markdown file links to a relative path that does not exist. |
| 3 | |
| 4 | Absolute URLs, mail links, and fragments are left alone: only links that claim to |
| 5 | point at a file in this checkout are checked, which is what a reorganisation |
| 6 | quietly breaks. |
| 7 | """ |
| 8 | |
| 9 | import os |
| 10 | import re |
| 11 | import sys |
| 12 | |
| 13 | SKIP_DIRS = {".git", "data", "dist"} |
| 14 | |
| 15 | |
| 16 | def main() -> int: |
| 17 | bad = [] |
| 18 | for root, dirs, files in os.walk("."): |
| 19 | dirs[:] = [d for d in dirs if d not in SKIP_DIRS] |
| 20 | for name in files: |
| 21 | if not name.endswith(".md"): |
| 22 | continue |
| 23 | path = os.path.join(root, name) |
| 24 | with open(path, encoding="utf-8") as f: |
| 25 | text = f.read() |
| 26 | for match in re.finditer(r"\]\(([^)#][^)]*)\)", text): |
| 27 | target = match.group(1) |
| 28 | if target.startswith(("http://", "https://", "mailto:")): |
| 29 | continue |
| 30 | resolved = os.path.normpath(os.path.join(root, target.split("#")[0])) |
| 31 | if not os.path.exists(resolved): |
| 32 | bad.append(f"{path}: {target}") |
| 33 | if bad: |
| 34 | print("\n".join(bad)) |
| 35 | return 1 |
| 36 | return 0 |
| 37 | |
| 38 | |
| 39 | if __name__ == "__main__": |
| 40 | sys.exit(main()) |
| 41 |