queuing of branch updates is unnecessary, but fsync is essential before update...
queuing of branch updates is unnecessary, but fsync is essential before update...


Former-commit-id: d19efb52c12f06395048e035861df43e01d0c6e6
webgme/webgme-engine,webgme/webgme-engine,webgme/webgme-engine