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

Erik Duveblad via github.com duke at openjdk.java.net
Thu Jun 27 07:30:37 UTC 2019


This PR has now been reviewed by Erik Duveblad via github.com - changes are approved.


More information about the skara-dev mailing list