git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Proposed command: git-sync

From
Pierre Habouzit <madcoder@debian.org>
Date
Oct 9, 2007, 21:08 UTC
Message-ID
<20071009210824.GA13203@artemis.corp>
In-Reply-To
<470BD5CF.9050201@imendio.com>
On Tue, Oct 09, 2007 at 07:26:07PM +0000, Sven Herzberg wrote:
> I really regularly find myself typing git pull directly after git push.
> That's why I write a small shell script that might be added to the stock
> git distribution.
  this is the default behavior of git push in recent gits.
-- 
·O·  Pierre Habouzit
··O                                                madcoder@debian.org
OOO                                                http://www.madism.org
Previous: Eyvind Bernhardsen
Message 3 of 3 in “Proposed command: git-sync”
  1. Sven HerzbergOct 9, 2007
  2. Eyvind BernhardsenOct 9, 2007
  3. Pierre HabouzitOct 9, 2007

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.