- Improving robustness of github crawler
- Less time between fault-detection
- Attempt to re-launch itself when the server is offline