You have deleted the remote branch origin/masterto the local branch master.
These two branches did not diverge, there origin/masterwere only some commits.
This way your local masterwas quickly redirected to origin/masterwithout any merge.
Git branches are lightweight; they simply move labels, pointing to specific commits.
source
share