Use (ssh) deploy key instead of tokens for GitHub

Using tokens is probably less secure than ssh keys (that's why they must have an expiration date...)

It would be great to use ssh deploy key instead of tokens when creating github source repos.