docs: rename tools/daggosaurus to website

Signed-off-by: Andrea Luzzardi <aluzzardi@gmail.com>

netlify.toml

@@ -1,6 +1,18 @@
 [build]
-  base = "tools/daggosaurus/"
+  base = "website/"
   publish = "build/"
   command = "yarn build"
-  # build only if there are changes within daggosaurus or docs directories.
-  ignore = "[ $BRANCH != main ] && git diff --quiet $CACHED_COMMIT_REF $COMMIT_REF . ../../docs/"
+
+[context.production]
+  # Do not build the site if there's no site-related changes since the last
+  # commit.
+  # This assumes PRs to `main` only contain merge commits, so it's safe to
+  # compare the current commit to the previous.
+  # We can't use `$CACHED_COMMIT_REF` because that points to the PR preview
+  # that was built before merging.
+  ignore = "git diff --quiet HEAD^ HEAD -- . ../docs/ ../netlify.toml"
+
+[context.deploy-preview]
+  # Do not build the site if there's no site-related changes since the last
+  # deploy.
+  ignore = "git diff --quiet $CACHED_COMMIT_REF $COMMIT_REF . ../docs/ ../netlify.toml"