Proposed command: git-sync

From: Sven Herzberg <sven@imendio.com>
Date: Oct 9, 2007, 19:26 UTC
Message-ID: <470BD5CF.9050201@imendio.com>

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.

Regards,
  Sven

PS: Please add me to the CC of your replies, I don't read this list.

#!/bin/bash

git push && git pull

$ 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.