projects / maintainer-tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3e12e8) | patch
github-merge-pr: use --force for filter-repo commands
authorChristian Marangi <[email protected]>
Mon, 29 Apr 2024 10:22:37 +0000 (12:22 +0200)
committerChristian Marangi <[email protected]>
Mon, 29 Apr 2024 10:22:37 +0000 (12:22 +0200)
commitdb54a345e510b88f7f0f6623428f5198efe50396
treeefde8d0f999aadc393657f7d7ea45551fd34d12atree | snapshot
parentb3e12e849bf104cd1d3423742fc8f43912959fcbcommit | diff
github-merge-pr: use --force for filter-repo commands

Use --force for filter-repo commands to handle special branch merged by
Committer that wouldn't be fresh copy as required by filter-repo
commands.

Signed-off-by: Christian Marangi <[email protected]>
github-merge-pr.sh diff | blob | history
Maintainer scripts for OpenWrt