When I'm done with my work, I add, commit and push the changes to the remote branch tracked by the curernt one. So the commands are as follows.
checkout donkey
add .
commit --message
push
Now, I'd like to create a pull request. It doesn't matter to me if I request the pull from my local donkey or the remote one. I cna do that using GUI but it's more like-a-bossy to perform that operation using CLI, in my opinion.
According to this article, I'm supposed to run something like this.
git request-pull donkey remote/donkey
or perhaps
git request-pull remote/donkey remote/dev
However, after trying several different combinations, I've failed, only obtaining a series of errors implying that the command is correct but the parameters make no sense.
Strangely, there's not much about creating pull requests to be found when googling, possibly drowning in the info using GUI.