Making up for GitHub's failures