May want to double check that: domain data shows it was only registered today about an hour ago: https://client.rdap.org/?type=domain&object=doctree.dev
It was definitely available to purchase when I commented
It was definitely available to purchase when I commented
Good news is we've got doctree.org, so will be using that instead. I've removed all references to the other domain.
If it was a good samaritan, shoot me an email -> stephen@sourcegraph.com