I experienced an issue where I couldn't create a pull request.
The reason is that I haven't created a fork of a repository to my GitHub account.
This is expected but didn't come to my mind.
Folks, if you experience such an issue, please make a fork into your own GitHub space before creating a pull request.
The error looked like this.
$ eb --new-pr nvompi.py --pr-commit-msg "Adds nvompi toolchain. The idea is to replicate what gompi/foss/GCC(core) do."
== Temporary log file in case of crash /tmp/logs/easybuild-uod2gzqw.log
== fetching branch 'develop' from https://github.com/easybuilders/easybuild-framework.git...
== copying files to /tmp/eb-favrstur/git-working-dirx5mi83bv/easybuild-framework...
== pushing branch '20220222112912_new_pr_pJhyVYjqDN' to remote 'github_robert-mijakovic_YSfmP' (git@github.com:robert-mijakovic/easybuild-framework.git)
ERROR: Failed to push branch '20220222112912_new_pr_pJhyVYjqDN' to GitHub (git@github.com:robert-mijakovic/easybuild-framework.git): Cmd('git') failed due to: exit code(128)
cmdline: git push --porcelain github_robert-mijakovic_YSfmP 20220222112912_new_pr_pJhyVYjqDN
stderr: 'fatal: Could not read from remote repository.
Please make sure you have the correct access rights
and the repository exists.'
I experienced an issue where I couldn't create a pull request. The reason is that I haven't created a fork of a repository to my GitHub account. This is expected but didn't come to my mind.
Folks, if you experience such an issue, please make a fork into your own GitHub space before creating a pull request.
The error looked like this.