Searched refs:gitDir (Results 1 – 1 of 1) sorted by relevance
32 def getHead (gitDir): argument33 curFile = os.path.join(gitDir, "HEAD")40 curFile = os.path.join(gitDir, ptr)83 gitDir = args.gitDir if args.gitDir != None else defaultGitDir variable84 head = getHead(gitDir)