Mercurial > code > home > repos > reposync
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']), })