From: Steve Hoelzer <shoelzer@gmail.com>
Date: Fri, 26 Sep 2008 14:37:57 GMT
Subject: No "pull" in git gui?
Message-ID: <588192970809260737i46ce0c30y191e29156bbf6396@mail.gmail.com>

Why isn't there a pull command in git gui's remote menu? Am I supposed
to fetch and then merge? Is that preferred over pull for some reason?

Steve