From: Sergey Organov Date: Wed, 03 Mar 2021 14:18:47 GMT Subject: git pull unclear manual Message-ID: <874khsqq0o.fsf@osv.gnss.ru> Hello, Here is how "git help pull" begins: NAME git-pull - Fetch from and integrate with another repository or a local branch SYNOPSIS git pull [] [ [...]] From this, how do one figures how to "integrate with ... local branch"? Is "git pull" useful to integrate with a local branch at all? Thanks, -- Sergey