I’ve just updated the DNS to point pursuit.purescript.org to the server within the purescript DO team, as described in step 3 of Transferring PureScript infrastructure. From the point of view of someone using Pursuit, nothing should look any different. Please let me know if anything is amiss.
8 Likes