#git bot interface

History of !pull

• pull=fetch+merge (or with flags/config also fetch+rebase). It is thus *not* the opposite of push in any sense. A good article that explains the difference between fetch and pull: http://longair.net/blog/2009/04/16/git-fetch-and-merge/
  By SethRobertson at 2012-01-17 23:48:50
• pull=fetch+merge (or with flags/config also fetch+rebase). It is thus *not* the opposite of push in any sense.
  By charon at 2011-12-23 16:57:34