Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / mikeshulman/hott-categories issues and pull requests

#2 - changes inspired by proofreading the MSCS version

Pull Request - State: closed - Opened by benediktahrens about 10 years ago

#1 - point to mscs source code repo rather than github

Issue - State: open - Opened by benediktahrens about 11 years ago