Our MediaWiki farm consists of three wikis:
- potentially other ones in the future
- I am not entirely sure if all the usernames have migrated over yet. If they haven't, well this migration should probably be much easier than the WMF one. :P
- When I'm logged in to wikimediadc.org, I am not automatically logged into the other two, nor do I get the notification that tells me to refresh to log in. I am not sure if this is related to 1. or if it is a task in its own right.