Handling a few GitHub irregularities