This repository was archived by the owner on Aug 2, 2023. It is now read-only.

This repository was archived by the owner on Aug 2, 2023. It is now read-only.

Better remote repository handling #55

Closed

Labels

enhancementhelp wanted

opened

on Feb 15, 2021

Use the checked out remote instead of fetching from GITHUB_REPOSITORY when appending tokens

pull-request/entrypoint.sh

Line 23 in d80b305

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

Metadata

Assignees

No one assigned

Labels

enhancementhelp wanted

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests