Closed per1234 closed 4 years ago
This reverts commit 50228bf858cb4d68978d72df1e9ee02e6e06dba8.
The GitHub access token was only required by the CI workflow while the repository was private. Now that it's been made public, there is no need for it any more.
This reverts commit 50228bf858cb4d68978d72df1e9ee02e6e06dba8.
The GitHub access token was only required by the CI workflow while the repository was private. Now that it's been made public, there is no need for it any more.