https://github.com/protegeproject/webprotege-gh-integration-service
A service for managing the integration of WebProtege with GitHub projects
https://github.com/protegeproject/webprotege-gh-integration-service
Last synced: 5 months ago
JSON representation
A service for managing the integration of WebProtege with GitHub projects
- Host: GitHub
- URL: https://github.com/protegeproject/webprotege-gh-integration-service
- Owner: protegeproject
- Created: 2023-10-20T19:24:27.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2025-09-23T21:47:28.000Z (9 months ago)
- Last Synced: 2025-09-23T23:31:29.551Z (9 months ago)
- Language: Java
- Size: 120 KB
- Stars: 1
- Watchers: 6
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# webprotege-gh-integration-service
A service for managing the integration of WebProtege with GitHub projects