projects / maintainer-tools.git / search
| 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 |