Merge commit 'jrollins/master'

[monkeysphere.git] / website / bugs / multiple-hostnames.mdwn

diff --git a/website/bugs/multiple-hostnames.mdwn b/website/bugs/multiple-hostnames.mdwn
index ab5e4e221cf56abda71e20b10c53aa78fb9eada3..7597af505c1a3843e13a621ec7b39ba0a263df5c 100644 (file)
--- a/website/bugs/multiple-hostnames.mdwn
+++ b/website/bugs/multiple-hostnames.mdwn
@@ -13,3 +13,25 @@ ones).
 For example: `george.riseup.net` is now also known as
 `monkeysphere.info`.  It'd be nice to have a convenient way to add
 that hostname to the key without mucking around with gpg directly.
+
+---
+
+So how do we imagine the behavior here?  I assume that basically it
+would just add/remove user ID's to/from the host key locally.  I guess
+we will continue to rely on the "publish-key" subcommand to actually
+publish all changes to the keys.
+
+-- BJ (jgr)
+
+---
+
+I think [when we reorganize the `monkeysphere-server`
+shortcuts](reorganize-monkeysphere-server-shortcuts) it'll make it
+clearer what the right interface should be.
+
+As for what should actually happen, i think that the server should
+actively revoke old User IDs, rather than removing them.  It should
+probably prompt the administrator to re-publish the host key as well,
+to ensure that the new User IDs are published.
+
+  --dkg