Skip to content

gettext: Use a git credential helper to set token #55

Description

@davidmhewitt

The GitHub checkout@v2 action sets the credentials on the repo differently, meaning that doing this does not work anymore:

git remote set-url origin https://x-access-token:"$GITHUB_TOKEN"@github.com/"$GITHUB_REPOSITORY".git

This means that the action can no longer push to protected branches using the elementaryBot token.

Reading this suggests that adding a git credential helper instead should be the solution to this problem:
actions/checkout#162

So it looks like we can add something like this instead:

git config credential.https://github.com/.helper "! f() { echo username=x-access-token; echo password=$GITHUB_TOKEN; };f"

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Needs DesignWaiting for input from the UX teamPriority: WishlistNot a priority, but something that might be nice

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions