Added GETGITREMOTENAME to extenal special remote protocol
authorJoey Hess <joeyh@joeyh.name>
Tue, 26 Jan 2021 16:42:47 +0000 (12:42 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 26 Jan 2021 16:42:47 +0000 (12:42 -0400)
commitb372d962aec199238370a81489d046f7ad6e90a2
treed21e94e766b3548c7063beb56838f97c7da7dc6f
parent5db7c3c8b63019fb40f6cf01f0baf34f962a2ace
Added GETGITREMOTENAME to extenal special remote protocol
CHANGELOG
Remote/External.hs
Remote/External/Types.hs
doc/design/external_special_remote_protocol.mdwn
doc/todo/extend_external_special_remote_protocol_with_way_to_get_git_config_of_remote.mdwn