tools: git output and pull fallback