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 |