github/gallery-dl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
7,891 Commits 1 Branch 0 Tags
master
Commit Graph

3 Commits

Author SHA1 Message Date
Mike Fährmann
b1487df381 [scripts/pull-request] handle branch already existing 2025-02-23 18:12:14 +01:00
Mike Fährmann
4d6ec6958d [scripts] add 'push --force' to pull-request 2024-01-15 22:37:33 +01:00
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