diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2021-09-16 09:56:35 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-09-16 09:56:35 +0200 |
commit | e0ca5972b4a300b93a9fe6b44345eeb19d574149 (patch) | |
tree | 85eb7e3b3bc00736625cf9d439b3436919db42a2 /man/intervals.saem.mmkin.Rd | |
parent | 450f3fe33af3c0cc9838f54ca090603727d0f783 (diff) |
Remove GITHUB_PAT from .travis.yml
I found that I can create a PAT with no extra privileges, thanks to
https://itsalocke.com/blog/using-travis-make-sure-you-use-a-github-pat/
so I will add this to my travis account.
Diffstat (limited to 'man/intervals.saem.mmkin.Rd')
0 files changed, 0 insertions, 0 deletions