parameters: (from_path, to_path)
docstring: Performs a git mv command to move a file from |from_path| to |to_path|.
docstring_summary: Performs a git mv command to move a file from |from_path| to |to_path|.
docstring_tokens: Performs a git mv command to move a file from |from_path| to |to_path| .
function: def MoveFile(from_path, to_path):
    """Performs a git mv command to move a file from |from_path| to |to_path|.
    """
    if not os.system('git mv %s %s' % (from_path, to_path)) == 0:
      raise Exception('Fatal: Failed to run git mv command.')
function_tokens: def MoveFile ( from_path , to_path ) : if not os . system ( 'git mv %s %s' % ( from_path , to_path ) ) == 0 : raise Exception ( 'Fatal: Failed to run git mv command.' )