fetch tags and pull from local master before pushing for merges
authorBaris Metin <Talip-Baris.Metin@sophia.inria.fr>
Fri, 18 Jun 2010 13:19:50 +0000 (15:19 +0200)
committerBaris Metin <Talip-Baris.Metin@sophia.inria.fr>
Fri, 18 Jun 2010 13:19:50 +0000 (15:19 +0200)
commitceb8f9f5549d7bb8a6812ede6ff9dd79f79a491e
tree47911cd5c9563aa04fb98db7fe5ea256874c0cdf
parentb1b080f53e1d319214aa62a996ff9706a7ca7d97
fetch tags and pull from local master before pushing for merges
scripts/git-mirror.sh [changed mode: 0644->0755]