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 /docs/articles/mkin_files/header-attrs-2.7/header-attrs.js | |
| 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 'docs/articles/mkin_files/header-attrs-2.7/header-attrs.js')
0 files changed, 0 insertions, 0 deletions