fixup! fixup! [GHA] Simplify p2 server access - Remove complicated GP…

…G usage - Use organisation's bot SSH key - Use GHA's (organisation) secret credentials

Add missing original settings.xml

settings.xml

@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0 http://maven.apache.org/xsd/settings-1.0.0.xsd">
+        <servers>
+                <server> 
+                        <id>p2Repo</id>
+                        <username>GAMA_PLATFORM</username>
+                        <password>GAMA_PLATFORM</password>
+
+                        <filePermissions>664</filePermissions>
+                        <directoryPermissions>775</directoryPermissions>
+                </server> 
+        </servers>
+
+        <mirrors>
+                <mirror>
+                        <id>insecure-repo</id>
+                        <mirrorOf>p2Repo</mirrorOf> 
+                        <url>https://updates.gama-platform.org/experimental/2024-06</url>
+                        <blocked>false</blocked>
+                </mirror>
+        </mirrors>
+</settings>