Searched refs:gitDir (Results 1 – 1 of 1) sorted by relevance
52 def getHead (gitDir): argument53 curFile = os.path.join(gitDir, "HEAD")60 curFile = os.path.join(gitDir, ptr)103 gitDir = args.gitDir if args.gitDir != None else defaultGitDir variable104 head = getHead(gitDir)