No longer deploy 'gdnative', allow its deletion

Author: Bromeon

documentation/commit.sh

@@ -20,9 +20,16 @@ date="$5"
 # Reopen later succeeds _despite being older_ -> inconsistent state (PR closed, but docs online).
 # This can be mitigated by always committing (no abort on stale).
 
+
 PRE="Docs | $repo/$num |"
 echo "$PRE start COMMIT operation."
 
+if [[ "$repo" == "gdnative" ]]; then
+    echo "$PRE INFO: 'gdnative' no longer deployed. Aborting."
+    echo "SKIP_WEBSITE_DEPLOY=true" >> "$GITHUB_ENV"
+    exit 0
+fi
+
 git config user.name "Godot-Rust Automation"
 git config user.email "GodotRust@users.noreply.github.com"
 

documentation/delete.sh

@@ -16,7 +16,8 @@ echo "$PRE start DELETE operation."
 #grep -v "$repo $num" deployed.txt > deployed-tmp.txt
 #mv deployed-tmp.txt deployed.txt
 
-if [[ "$num" == "master" ]]; then
+# Allow deletion of 'gdnative' master, since it's phased out.
+if [[ "$num" == "master" && "$repo" != "gdnative" ]]; then
 	echo "::error::Cannot delete docs for master branch."
 	exit 1
 fi