Searched defs:head_sha (Results 1 – 1 of 1) sorted by relevance
13 head_sha = "" variable147 head_sha = date.today().strftime(r"%Y%m%d") if (args.head_sha is None) else args.head_sha variable