chore: remove old fetch pr script
This commit is contained in:
parent
f6b34e3fe0
commit
f89c37cb79
|
@ -20,7 +20,6 @@
|
|||
packages = with pkgs; [
|
||||
# Nix
|
||||
nil
|
||||
wcurl # for fetch-prs
|
||||
inputs.nixp-meta.packages.x86_64-linux.nixp-meta-release
|
||||
|
||||
# Misc
|
||||
|
|
|
@ -1,17 +0,0 @@
|
|||
# dependencies: wcurl
|
||||
PRS=("354038" "355216")
|
||||
|
||||
if [ ! -f flake.nix ]; then
|
||||
echo "Not in a flake top level"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
mkdir -p patches/PR
|
||||
echo "Removing old patches"
|
||||
rm patches/PR/*.diff
|
||||
for t in "${PRS[@]}"; do
|
||||
echo "Fetching PR #$t"
|
||||
url="https://github.com/NixOS/nixpkgs/pull/$t"
|
||||
echo "$url"
|
||||
wcurl "$url.diff" --curl-options "--output-dir patches/PR"
|
||||
done
|
Loading…
Reference in a new issue