├── .gitignore ├── .merlin ├── LICENSE ├── Makefile ├── README.md ├── _oasis ├── configure ├── data ├── in │ └── all.json ├── mirage_bot_to_dashboard.sh ├── out │ ├── all.json │ └── test.json └── test │ ├── repos_from_trove.json │ └── test.json └── src ├── branches.ml ├── branches.mli ├── dashboard_data.ml ├── dashboard_data.mli ├── events.ml ├── events.mli ├── github_wrapper.ml ├── github_wrapper.mli ├── mirage_dashboard.ml ├── releases.ml ├── releases.mli ├── repo_info.ml ├── repo_info.mli ├── stats.ml └── stats.mli /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/.gitignore -------------------------------------------------------------------------------- /.merlin: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/.merlin -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/README.md -------------------------------------------------------------------------------- /_oasis: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/_oasis -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/configure -------------------------------------------------------------------------------- /data/in/all.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/data/in/all.json -------------------------------------------------------------------------------- /data/mirage_bot_to_dashboard.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/data/mirage_bot_to_dashboard.sh -------------------------------------------------------------------------------- /data/out/all.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/data/out/all.json -------------------------------------------------------------------------------- /data/out/test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/data/out/test.json -------------------------------------------------------------------------------- /data/test/repos_from_trove.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/data/test/repos_from_trove.json -------------------------------------------------------------------------------- /data/test/test.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/data/test/test.json -------------------------------------------------------------------------------- /src/branches.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/branches.ml -------------------------------------------------------------------------------- /src/branches.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/branches.mli -------------------------------------------------------------------------------- /src/dashboard_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/dashboard_data.ml -------------------------------------------------------------------------------- /src/dashboard_data.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/dashboard_data.mli -------------------------------------------------------------------------------- /src/events.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/events.ml -------------------------------------------------------------------------------- /src/events.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/events.mli -------------------------------------------------------------------------------- /src/github_wrapper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/github_wrapper.ml -------------------------------------------------------------------------------- /src/github_wrapper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/github_wrapper.mli -------------------------------------------------------------------------------- /src/mirage_dashboard.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/mirage_dashboard.ml -------------------------------------------------------------------------------- /src/releases.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/releases.ml -------------------------------------------------------------------------------- /src/releases.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/releases.mli -------------------------------------------------------------------------------- /src/repo_info.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/repo_info.ml -------------------------------------------------------------------------------- /src/repo_info.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/repo_info.mli -------------------------------------------------------------------------------- /src/stats.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/stats.ml -------------------------------------------------------------------------------- /src/stats.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rudenoise/mirage-dashboard/HEAD/src/stats.mli --------------------------------------------------------------------------------