https://github.com/betatim/isthehubup
Is the hub up?
https://github.com/betatim/isthehubup
Last synced: about 2 months ago
JSON representation
Is the hub up?
- Host: GitHub
- URL: https://github.com/betatim/isthehubup
- Owner: betatim
- Created: 2019-04-11T21:14:33.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-02-24T16:02:49.000Z (over 4 years ago)
- Last Synced: 2024-12-29T17:14:35.966Z (10 months ago)
- Language: Python
- Homepage: https://isthehubup.herokuapp.com/
- Size: 44.9 KB
- Stars: 5
- Watchers: 3
- Forks: 4
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Is the hub up?
https://isthehubup.herokuapp.com/
Check if mybinder.org is up or not. The webserver checks if the main website
responds. More extensive monitoring happens with `isthehubup.py` which
executes roughly every ten minutes. It checks several pages and tries to launch
a binder on each cluster. It reports by email and gitter.
## Regular cron job
Use `python /app/isthehubup.py --once` in your cron job