When the cred-action is done and added to the Sourcecred organization, it would make sense to simplify the github workflow examples here to use it.