diff options
author | Joey Hess <joey@kitenet.net> | 2010-09-14 15:45:38 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2010-09-14 15:45:38 -0400 |
commit | cd794613b6f5140365e51f79023c882e8ea71197 (patch) | |
tree | 5a59301da5e14c8f4cdcd5f1d31a4558e87ae78d /doc/bugs/pagemtime_in_refresh_mode.mdwn | |
parent | 8c8d2c2d2cd259f3e72fd0a4022d02e15e66104f (diff) |
git: When updating from remote, use git pull --prune, to avoid possible errors from conflicting obsolete remote branches.
Diffstat (limited to 'doc/bugs/pagemtime_in_refresh_mode.mdwn')
0 files changed, 0 insertions, 0 deletions