informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Support for fetching git from ssh #80

Open shonfeder opened 3 years ago

shonfeder commented 3 years ago

Doing this properly will require threading the git configuration for a user's ssh key through git2

See: