In my company, management is using GIT Bash while I am using Git-Extensions.
According to a procedure, I need to launch the GIT Bash command git remote prune origin
.
In Git-Extensions, there is a popup, called "Fetch and prune", as you can see here:
Can anybody confirm whether those two actions are the same? In case not, what are the differences?
Is there any way to know the link between any Git-Extensions command and its GIT Bash equivalent?
You can see most of the commands Git Extensions in running in "Git commands" dialog by pressing F12 (Tools > Git Command log):