Type-safe Git operations for Kite workflows