Commit Graph

2 Commits (d7a2c732742b4af3e994a158a984412fc4308b6e)

Author SHA1 Message Date
Mike Fährmann 4d6ec6958d
[scripts] add 'push --force' to pull-request
8 months ago
Mike Fährmann f0b76e0bb5
publish pull request helper script
1 year ago