github-merge-pr: add generic enough instruction on how to use the script
[maintainer-tools.git] / github-merge-pr.sh
2024-02-15 Christian Marangigithub-merge-pr: add generic enough instruction on...
2024-02-15 Christian Marangigithub-merge-pr: default to main branch if not specified
2024-02-15 Christian Marangigithub-merge-pr: add option to use SSH key for github...
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...