Manually merge #418: github PATs.
Closes #418