- From: Nicholas Car via GitHub <noreply@w3.org>
- Date: Mon, 13 Oct 2025 03:29:56 +0000
- To: public-shacl@w3.org
The following commits were just pushed by nicholascar to https://github.com/w3c/data-shapes: * apply new short IRIs by Nicholas Car https://github.com/w3c/data-shapes/commit/e0f3a275aec3203c7e0b8ea8731f0f4bda8f2a32 * Merge remote-tracking branch 'origin/gh-pages' into gh-pages by Nicholas Car https://github.com/w3c/data-shapes/commit/bcdfa8c62bf2faf686e30dff34c8439d83c55dbd * Merge remote-tracking branch 'origin/gh-pages' into gh-pages by Nicholas Car https://github.com/w3c/data-shapes/commit/140051e58ef42a811c84846441fb272ed788c004 * Merge pull request #601 from w3c/short-iris Short iris by Nicholas Car https://github.com/w3c/data-shapes/commit/1caeca0c40c78c659b2ab0056e0683d4dd64aea3 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 13 October 2025 03:29:57 UTC