5416: Test with HEAD in current tree, not master: jenkins index has no master.
[arvados.git] / services / nodemanager / gittaggers.py
1 ../../sdk/python/gittaggers.py