Closed kltm closed 5 years ago
Confirmed with Mike Cherry on a couple of points:
Mike's filtering script will continue to run until the replacement is ready for production.
Mike is okay with keeping the MX record for geneontology.org pointing to our local mail server at Stanford, so forwarding addresses @geneontology.org will continue to work as they have in the past.
For better or worse, the GO Helpdesk issue has been triaged, assuming my inbox doesn't detonate.
@stuartmiyasato We are crawling forward on this; I can now hopefully start devoting more attention to the issues. I'm currently looking at how to do a new Jenkins installation, so we pipeline is next on the plate.
In the meantime, I'm trying to finish off the helpdesk. As a final piece there, I was wondering if I could get the following CNAME placed?
help.geneontology.org -> geneontology.github.io
This will be one piece of trying to spread the infrastructure out a bit more.
@kltm I forgot to mention to you that I'm on vacation all of this week, so I probably won't be very responsive to requests until I get back into the office. Today is a quiet day at my parents' house in LA, so I'm able to get to this. :) help.geneontology.org should be set now:
miyasato% host help.geneontology.org help.geneontology.org is an alias for geneontology.github.io. geneontology.github.io is an alias for github.map.fastly.net. github.map.fastly.net has address 151.101.24.133
@stuartmiyasato Whoops! Sorry to bother then. At least you can rest well knowing that the GO Helpdesk has a new home. It looks like it has already propagated, so done and done!
@monicacecilia Moving forward, any reference to the GO Helpdesk should be http://help.geneontology.org as the most correct "forever home". I'll make updates as I run into them.
@kltm copy that.
Given that we're trying to free up as much overhead as possible, I did a little experiment into what would happen if we converted the current mediawiki installation into GH wiki: : pandoc -s -f mediawiki -t markdown_github -o /tmp/gw.txt /tmp/mediawiki.txt The results are surprisingly good--I think that if we did it right, most of the linking and structure could be preserved.
Now, that said, I really like mediawiki and it is super easy to maintain; but the option is out there.
From experience trying to migrate wikis like that of google code, are there not a lot of edge cases? E.g. how media like images and ppt is handled.
Well, I've dug around a bit and tried some scratch stuff with the GitHub wiki, and I must say that while the text/link preservation works a treat, the media preservation would be quite poor, with no obvious way to deliver stuff internally from the wiki repo--they seem to have specifically set out to do that. That would be a roadblock for a complete port, but not the end of the world if we decide to abandon mediawiki (again, not advocating, just looking) in general.
@stuartmiyasato
Sorry, slow progress here.
I was wondering if we could get the CNAME build.geneontology.org
pointed to wok.lbl.gov
? I'll be initially figuring out the pipeline for AmiGO (although we have to get monitoring and logging setup here as well); once that is done, we might want to go ahead and flip AmiGO over here.
@kltm Okay, this is now in place.
-bash-3.2$ host build.geneontology.org build.geneontology.org is an alias for wok.lbl.gov. wok.lbl.gov has address 131.243.192.20
Thank you! Back to the salt mine for me.
A temporary holding list while we consider the next steps:
Talking to @stuartmiyasato , all remaining items are now better represented by issues in the migration project: https://github.com/orgs/geneontology/projects/39 This planning and execution super is no longer needed.
TODO/gross timeline from the STanford meeting with @stuartmiyasato @cmungall :
(tanya/TAIR) look at archiving jira into elastic search?Will either push into GitHub or mothball(Epic, sorry. We can add concerned users as we go.)
This ticket can be closed when the bulk of production has been moved to Berkeley.