configuration and docs for tracking exports

Not yet handled by sync or assistant.

This commit was sponsored by Nick Daly on Patreon.

1 files changed, 4 insertions, 0 deletions

diff --git a/Config.hs b/Config.hs
index 783f07238..66808571a 100644
--- a/Config.hs
+++ b/Config.hs
@@ -18,6 +18,7 @@ import Config.Cost
 import Config.DynamicConfig
 import Types.Availability
 import Git.Types
+import qualified Types.Remote as Remote
 
 type UnqualifiedConfigKey = String
 data ConfigKey = ConfigKey String
@@ -55,6 +56,9 @@ instance RemoteNameable Git.Repo where
 instance RemoteNameable RemoteName where
 	 getRemoteName = id
 
+instance RemoteNameable Remote where
+	getRemoteName = Remote.name
+
 {- A per-remote config setting in git config. -}
 remoteConfig :: RemoteNameable r => r -> UnqualifiedConfigKey -> ConfigKey
 remoteConfig r key = ConfigKey $