Remco Vermeulen
762210d5a0
Use generated token on checkout
...
The script `.github/update-release-branch.py` uses the `git` command
to push changes. Therefore we need to ensure that `git` authenticates
with a token that has the `workflows` write permision.
This change restore the GitHub token used by the script to access the
API and applies the `workflows` write permission to the token used by `git`.
2024-09-13 09:13:54 -07:00
..
2024-08-06 17:40:25 +01:00
2023-09-14 12:27:25 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-29 13:56:47 +01:00
2024-08-29 13:56:47 +01:00
2024-08-29 13:56:47 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-09-05 15:02:02 +02:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-08 18:09:12 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-29 17:45:09 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2024-08-05 19:28:35 +01:00
2023-09-04 18:00:31 +00:00
2024-06-17 16:02:05 +01:00
2024-05-31 11:49:47 +02:00
2024-06-14 13:20:03 -07:00
2024-08-05 19:28:35 +01:00
2024-06-11 19:07:13 +01:00
2023-12-18 13:39:34 +00:00
2024-09-10 16:09:28 -07:00
2024-06-11 19:07:13 +01:00
2024-05-31 11:49:47 +02:00
2024-02-27 12:29:14 +00:00
2024-08-02 16:27:45 +02:00
2024-05-31 11:49:47 +02:00
2023-09-14 18:14:24 +01:00
2024-09-13 09:13:54 -07:00
2023-12-12 21:18:31 +00:00