update_git_source_package: use 12 char long hash for bump commits
[maintainer-tools.git] / github-merge-pr.sh
2023-11-02 Christian Marangigithub-merge-pr: be more conservative with git fetch
2023-10-05 Christian Marangigithub-merge-pr: add support for merging PR that can...
2023-01-11 Christian Marangigithub-merge-pr: add check for working on clean branch
2023-01-11 Christian Marangigithub-merge-pr: ask for confirmation before pushing...
2022-10-14 Christian Marangigithub-merge-pr: handle user using master as pushing...
2022-09-19 Christian Marangigithub-merge-pr: fix typo and correctly exit on error
2022-09-13 Christian Marangigithub-merge-pr: introduce new script to merge pr on...