SCIP.dev website

[jdorfman]

~Purpose: Landing page/microsite promoting SCIP, libraries, and the community~

11-07-2022

• TD & NS-C:

  idk, don't have too strong of opinions, but maybe olaf has more. I just don't want to have to maintain a separate website that's outside of our build pipeline and all this other stuff. Also, having it within sourcegraph docs lends the credibility of our company to it, rather than random website with marketing material

• Redirect to https://sourcegraph.com/github.com/sourcegraph/scip/-/blob/Readme.md
• https://sourcegraph.com/github.com/sourcegraph/scip.dev@main/-/blob/index.html?L7

11-02-2022

• Followed up with ML
• "just checked, not sure what’s going on yet but let’s encrypt is having trouble provision us a TLS cert https://letsdebug.net/scip.dev/1247371"
• "something fishy is going on beyond simple DNS issue, i’ll have to take another look in the domain registry"

11-01-2022

• Added code block modal

10-31-2022

• Michael Lin: "there's something wrong with github pages and I've opened a support ticket with GH."
• Removed ✅ list

10-28-2022

• Add code block

10-27-2022

• Started DNS transfer (IT in Slack)

10-26-2022

• https://sourcegraph.github.io/scip.dev/
• Pinged Joe Chen

10-25-2022

• Fiverr
• https://github.com/sourcegraph/scip.dev

10-24-2022

• https://app.excalidraw.com/s/4Dr1S6qmmY7/28HNgQf4qtz
• https://sourcegraph.slack.com/archives/C07KZF47K/p1666634469401919