A service for managing the integration of WebProtege with GitHub projects - View it on GitHub