RFR: 19: Allow GitHub bots to use a PAT for authentication as well

[Robin Westberg via github.com]

Hi all,

Please review the following change that allows configuration of GitHub bots to use either app or pat authentication. Normally app authentication should be used, but for certain cases (like pushing to a repository that should trigger pages rebuilds) app credentials cannot be used.

Best regards,
Robin

----------------

Commits:
 - 0d7dfea2:	Allow GitHub bots to use a PAT for authentication as well

Pull request:
http://git.openjdk.java.net/skara/pull/8

Webrev:
https://openjdk.github.io/cr/skara/8/webrev.00

Patch:
http://git.openjdk.java.net/skara/pull/8.diff

Fetch command:
git fetch https://github.com/openjdk/skara.git 0d7dfea2:pr/8