When cred-action (to be named differently) done, use it in examples here

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.