Bunnybot encountered an error while working on this merge proposal:
Running 'git push github _hjd_widelands_tests_poc' failed. Output:
ssh: Could not resolve hostname github.com: Name or service not known fatal: Could not read from remote repository.
Please make sure you have the correct access rights and the repository exists.
« Back to merge proposal
Bunnybot encountered an error while working on this merge proposal:
Running 'git push github _hjd_widelands_ tests_poc' failed. Output:
ssh: Could not resolve hostname github.com: Name or service not known
fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.