Full threadjustinwp·Use a rules file to change the Git identity for agents in your repository.View on HN