title: Performing multiple operations simultaneously on repo
body: <p>We are using Google's <a href="https://code.google.com/p/git-repo/" rel="nofollow">git-repo tool</a> for our projects. Our workflow is we make changes , merge it to remote and push tags.</p>
  
  <p>My question is, is there any problem if I perform <strong><em>multiple operations</em></strong> at the same time on the same same <code>repo/codeline/tree</code>? Like suppose if I am pushing tags to remote, is there any problem if I start <code>repo sync</code>? </p>
  
  <p>Or while pushing tags if I start to <code>cherry-pick</code> some new changes?</p>