diff repo_github_status.py @ 21:cb71722bb75c

use pipenv
author drewp@bigasterisk.com
date Tue, 29 Mar 2022 21:13:48 -0700
parents b59912649fc4
children
line wrap: on
line diff
--- a/repo_github_status.py	Sun Jan 09 20:47:57 2022 -0800
+++ b/repo_github_status.py	Tue Mar 29 21:13:48 2022 -0700
@@ -95,6 +95,7 @@
 
 def writeGhRepo(graph, repo, ghrepo):
     replaceContext(graph, URIRef(ghrepo + '/config'), {
+        (repo, RDF.type, EX['Repo']),
         (repo, EX['githubRepo'], ghrepo),
         (ghrepo, RDF.type, EX['GithubRepo']),
     })