- Mentioned In
- rGHCDIFF2763f56de209: Improve pruning of case alternatives to account for GADTs
rGHCDIFF36436bc62a98: [project @ 2005-10-14 11:22:41 by simonpj] Add record syntax for GADTs…
rGHCDIFF495ef8bd9ef3: [project @ 2000-05-25 12:41:14 by simonpj] ~~~~~~~~~~~~ Apr/May 2000…
- Mentioned Here
- T2: Move wiki to rackspace vm
So the way this should work is the same way it does for lun (AKA community) - we should use spiped to connect the wiki to the MariaDB instance @ mysql01.haskell.org on port 9000 (using the same symmetric key should be fine, reduces deployment headache, and spiped is forward secret by default anyway). Then we should move on T2: Move wiki to rackspace vm and move them into the same DC (which will need to be the IAD region where mysql01 is located).