gp: run git fetch before git push or git pull

[fj0r]

After testing, I found that even if git fetch is executed locally,
when remote repository changed, local repository does not know.

In general scenarios, after the local update, the local will display ahead. When you push, the remote changes during the period, and you will be prompted to pull first.

However, gp does not work in this mode, so git fetch must be used first to get the information.
The problem with this is that one request becomes two requests.
But the problem is not too serious, I will look into whether there are other solutions.

[amtoine]

👍