projects / maintainer-tools.git / search
| 2023-10-05 | Christian Marangi | github-merge-pr: add support for merging PR that can... Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> |
commit | commitdiff | tree |
| 2023-01-11 | Christian Marangi | github-merge-pr: add check for working on clean branch Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> |
commit | commitdiff | tree |
| 2023-01-11 | Christian Marangi | github-merge-pr: ask for confirmation before pushing... Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> |
commit | commitdiff | tree |
| 2022-10-14 | Christian Marangi | github-merge-pr: handle user using master as pushing... Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> |
commit | commitdiff | tree |
| 2022-09-19 | Christian Marangi | github-merge-pr: fix typo and correctly exit on error Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> |
commit | commitdiff | tree |
| 2022-09-13 | Christian Marangi | github-merge-pr: introduce new script to merge pr on... Signed-off-by: Christian Marangi <ansuelsmth@gmail.com> |
commit | commitdiff | tree |