GitHub 2 Error[Solved]: GitHub 'merge.tool' is not configured Jun 19, 2021 GitHub actions run bash script and push to another repository May 15, 2021