pull: don't save map file at start
When the map save frequency is set, we would previously save it the very start of the pull. That doesn't make much sense, so we switch it one commit later to avoid the unnecessary I/O.
Loading
Please register or sign in to comment