Skip to content

Instantly share code, notes, and snippets.

View mweinelt's full-sized avatar
❄️

Martin Weinelt mweinelt

❄️
View GitHub Profile
@mweinelt
mweinelt / scrape-prs.py
Created October 8, 2025 23:20 — forked from Mic92/scrape-prs.py
Scrape all nixpkgs pull requests
#!/usr/bin/env python3
import http.client
import json
import os
import time
import urllib.parse
import urllib.request
from pathlib import Path
from typing import Any