of the extension (.project / [...] of the extension (.project /
/Merge Options Git Pull / Git
" for communication via Push / Pull
all affected objects / Show