github/gallery-dl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
5,403 Commits 1 Branch 0 Tags
03a9ce9832c12c03ed5221f04a470d9e9d6d9b0c
Commit Graph

2 Commits

Author SHA1 Message Date
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