We switch from SVN to git and use the Eclipse version 2024-12.When somebody deletes a git branch (remo