Skip to content

Conversation

alrikai
Copy link
Contributor

@alrikai alrikai commented Jul 24, 2024

We recently lost the ability to read artifacts from this repo in the GitHub action that tries to build the DocC docs to be deployed to the repo's GitHub-pages site.
This PR switches the token we're using for the .netrc file from the old one to secrets.GITHUB_TOKEN, and does some miscellaneous formatting changes that my linter were complaining about.
It also adds read permissions to the job.

…ecrets.DEVOPS_PAT, and add read permissions to the step too
Copy link
Contributor

@F3r-n4nd0 F3r-n4nd0 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Comment on lines +52 to +55
touch $HOME/.netrc
echo "machine api.github.com" > $HOME/.netrc
echo "login ${{ secrets.GITHUB_TOKEN }}" >> $HOME/.netrc
echo "password ${{ secrets.GITHUB_TOKEN }}" >> $HOME/.netrc
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I am unsure if we currently do, but we need to use a specific login and password for the CI system

Copy link
Contributor Author

@alrikai alrikai Jul 24, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yeah, we have our hover-mobile-ci-user -- I am not really sure if GITHUB_TOKEN is the correct token to use, in theory GITHUB_TOKEN should work for accessing things within the same repo, so it seems like it'd be well suited for this (and we don't run the risk of the token getting invalidated unexpectedly like our DEVOPS_PAT, which caused this action to start failing to begin with). That said, if this PR doesn't work, then hover-mobile-ci-user will be the next thing I'd try.

@alrikai alrikai merged commit 99605c4 into main Jul 24, 2024
@alrikai alrikai deleted the MOB-6046-gha-permissions-gh-pages branch July 24, 2024 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants