Files
gallery-dl/scripts/pull-request
Mike Fährmann f0b76e0bb5 publish pull request helper script
it's what I've been using to manage GitHub pull requests locally
2023-05-04 10:46:38 +02:00

1.1 KiB
Executable File