[petri] 01/01: Update petri.rdf

[wa...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

wave pushed a commit to branch dave2wave-patch-1
in repository https://gitbox.apache.org/repos/asf/petri.git

commit 456158fc8eb2384113bb858ccf7722cd05fb78a8
Author: Dave Fisher <da...@comcast.net>
AuthorDate: Sat Sep 16 10:02:31 2023 -0700

    Update petri.rdf
---
 content/petri.rdf | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/content/petri.rdf b/content/petri.rdf
index 3f06c1c..f5daced 100644
--- a/content/petri.rdf
+++ b/content/petri.rdf
@@ -31,5 +31,12 @@
     <description>Apache Petri deals with the assessment of, education in, and adoption of the Foundation's policies and procedures for collaborative development and the pros and cons of joining the Foundation.</description>
     <mailing-list rdf:resource="https://lists.apache.org/list.html?discuss@petri.apache.org" />
     <category rdf:resource="http://projects.apache.org/category/education" />
+    <bug-database rdf:resource="https://github.com/apache/petri/issues/" />
+    <repository>
+      <GitRepository>
+        <location rdf:resource="https://github.com/apache/petri/"/>
+        <browse rdf:resource="https://github.com/apache/petri/"/>
+      </GitRepository>
+    </repository>
   </Project>
 </rdf:RDF>