extern/nixos-wiki-infra
1
0
Fork 1
mirror of https://github.com/Mic92/nixos-wiki-infra.git synced 2025-07-10 19:37:08 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into create-pull-request/patch

Browse Source
This commit is contained in:
Jörg Thalheim
2024-06-06 11:42:47 +02:00
committed by GitHub
parent fa1ec69465 c92c80499f
commit 1e2ba92f69
1 changed files with 1 additions and 1 deletions

2
modules/nixos-wiki/update-extensions.py

@ -68,7 +68,7 @@ def mirror_extension(extension_name: str, mediawiki_version: str) -> Extension:
with TemporaryDirectory() as tmpdir:
download_file(download_url.geturl(), f"{tmpdir}/{base_name}")
run(["gh", "release", "upload", base_name, f"{tmpdir}/{base_name}"])
for i in range(3):
for i in range(30):
try:
hash = run(["nix-prefetch-url", "--unpack", mirror_url], stdout=subprocess.PIPE).stdout.strip()
except subprocess.CalledProcessError: