github/gallery-dl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
7,791 Commits 1 Branch 0 Tags
a2c79ba057cdb0e69ac517dc3aa0b0890ed95c03
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