Tools for managing SSH and Git credentials
