projects / maintainer-tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91f0972) | patch
github-merge-pr: Use GITHUB_TOKEN for API access
authorHauke Mehrtens <[email protected]>
Sat, 6 Jul 2024 16:07:22 +0000 (18:07 +0200)
committerChristian Marangi <[email protected]>
Tue, 16 Jul 2024 17:09:37 +0000 (19:09 +0200)
commitc4163ec5c5159b82d423e096a44d7aec76c69f2b
tree82e517b42155c861d44b350034c70e4c99edadc5tree | snapshot
parent91f0972df5ab196d39e20a6a3f67b023aea7c4f8commit | diff
github-merge-pr: Use GITHUB_TOKEN for API access

Use the GITHUB_TOKEN also for the public https://api.github.com
accesses. Over some networks like public hotspots github is blocking
unauthenticated access.

Signed-off-by: Hauke Mehrtens <[email protected]>
github-merge-pr.sh diff | blob | history
Maintainer scripts for OpenWrt