This is an automated email from the ASF dual-hosted git repository.
github-bot pushed a commit to branch asf-site
in repository https://gitbox.apache.org/repos/asf/tooling-docs.git
The following commit(s) were added to refs/heads/asf-site by this push:
new 253fd51 Commit build products
253fd51 is described below
commit 253fd51f7628b437deb9b666869ae24e465a3300
Author: Build Pelican (action) <[email protected]>
AuthorDate: Sat Nov 29 23:54:22 2025 +0000
Commit build products
---
output/agenda-tool.html | 7 ++++++-
output/data-model.html | 7 ++++++-
output/draft-asf-token-standard-faq.html | 7 ++++++-
output/draft-asf-token-standard.html | 7 ++++++-
output/job-posting.html | 7 ++++++-
output/platform.html | 7 ++++++-
output/policies.html | 7 ++++++-
output/supply-chain.html | 7 ++++++-
output/svn-dist.html | 7 ++++++-
output/team.html | 7 ++++++-
output/trusted-releases.html | 7 ++++++-
output/volunteer.html | 7 ++++++-
12 files changed, 72 insertions(+), 12 deletions(-)
diff --git a/output/agenda-tool.html b/output/agenda-tool.html
index 29bc1c3..3fb5737 100644
--- a/output/agenda-tool.html
+++ b/output/agenda-tool.html
@@ -144,13 +144,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/data-model.html b/output/data-model.html
index 18f8e1c..5768f74 100644
--- a/output/data-model.html
+++ b/output/data-model.html
@@ -356,13 +356,18 @@ Distribution channels may be for test packages. Package
Managers will be automat
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/draft-asf-token-standard-faq.html
b/output/draft-asf-token-standard-faq.html
index 109ee32..9cf9a41 100644
--- a/output/draft-asf-token-standard-faq.html
+++ b/output/draft-asf-token-standard-faq.html
@@ -245,13 +245,18 @@ abc/pqr
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/draft-asf-token-standard.html
b/output/draft-asf-token-standard.html
index 591a294..31669f7 100644
--- a/output/draft-asf-token-standard.html
+++ b/output/draft-asf-token-standard.html
@@ -222,13 +222,18 @@ Token: asf_sample_zzzzzzzzzzzzzzzzzzzzzzzzzzz13hv5A
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/job-posting.html b/output/job-posting.html
index ec1d2c0..21310cb 100644
--- a/output/job-posting.html
+++ b/output/job-posting.html
@@ -239,13 +239,18 @@ staff and members using common video meeting software.</p>
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/platform.html b/output/platform.html
index 109b160..9448ae6 100644
--- a/output/platform.html
+++ b/output/platform.html
@@ -296,13 +296,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/policies.html b/output/policies.html
index b0f620a..f1f1940 100644
--- a/output/policies.html
+++ b/output/policies.html
@@ -147,13 +147,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/supply-chain.html b/output/supply-chain.html
index 26e3d82..2b177b6 100644
--- a/output/supply-chain.html
+++ b/output/supply-chain.html
@@ -139,13 +139,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/svn-dist.html b/output/svn-dist.html
index 53ddfbd..96e83f3 100644
--- a/output/svn-dist.html
+++ b/output/svn-dist.html
@@ -271,13 +271,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/team.html b/output/team.html
index caa3caf..f31ed1c 100644
--- a/output/team.html
+++ b/output/team.html
@@ -144,13 +144,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/trusted-releases.html b/output/trusted-releases.html
index 5eb82fe..3a3e546 100644
--- a/output/trusted-releases.html
+++ b/output/trusted-releases.html
@@ -242,13 +242,18 @@ prior to submission of the release candidate.</p>
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
diff --git a/output/volunteer.html b/output/volunteer.html
index 52028ac..0ec4a47 100644
--- a/output/volunteer.html
+++ b/output/volunteer.html
@@ -149,13 +149,18 @@
</main>
<script>hljs.highlightAll();</script>
<script>
+ function decodeHtmlEntities(str) {
+ const txt = document.createElement("textarea");
+ txt.innerHTML = str;
+ return txt.value;
+ }
document.addEventListener("DOMContentLoaded", () => {
document.querySelectorAll("pre > code.language-mermaid").forEach(code
=> {
const div = document.createElement("div");
div.className = "mermaid";
div.textContent = decodeHtmlEntities(code.innerHTML);
// Replace <pre><code>…</code></pre> with <div
class="mermaid">…</div>
- code.parentElement.replaceWith(div);
+ code.parentElement.replaceWith(div);
});
// Now render them
mermaid.init();
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
