I have a project on GitLab, from the master I created a branch called Processing-points
, not from the command line but with the web interface.
Then I deleted the branch Processing-points
, also from the web interface. So everything is ok from the web interface, but on my local computer, I can still checkout the deleted branch. How is that possible?
This is the suggestions I get when I ask to checkout:
ag@ag-Precision-7520:~/catkin_ws/3D_EM$ git checkout
HEAD origin/master origin/Processing-points-multi-thread
master origin/origin/parallelization parallelization
ORIG_HEAD origin/parallelization pcl_filters
origin/HEAD origin/pcl_filters Processing-points-multi-thread