GitHub lacks support for repositories using sha256 instead of the classic sha1. Problem or opportunity?