Skip to content

Allow the credential service to be used for authentication for pr merge #758

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed

Conversation

josephperrott
Copy link
Member

See individual commits.

Using the improved typings allows for already defined Argv types to be passed through the addGithubTokenOption function
@josephperrott josephperrott added the action: review The PR is still awaiting reviews from at least one requested reviewer label Aug 4, 2022
@josephperrott josephperrott force-pushed the use-credential-service branch 2 times, most recently from a15e2bb to 897781a Compare August 4, 2022 20:34
Allow for the usage of the ng-dev credential service for pr merging.  This is currently
hidden from users as we test it, though users are free to use it if they want to.  As of
now using the service for a merge requires the usage of the `--use-auth-service` flag.
@josephperrott josephperrott force-pushed the use-credential-service branch from 897781a to 79bad90 Compare August 4, 2022 21:30
@josephperrott josephperrott changed the title Allow the credential service to be used for authentication of pr merging Allow the credential service to be used for authentication for pr merge Aug 5, 2022
@josephperrott josephperrott added action: merge The PR is ready for merge by the caretaker and removed action: review The PR is still awaiting reviews from at least one requested reviewer labels Aug 8, 2022
@josephperrott josephperrott force-pushed the use-credential-service branch 2 times, most recently from a6e3900 to dc2bcde Compare August 8, 2022 20:10
@josephperrott josephperrott force-pushed the use-credential-service branch from dc2bcde to f9bff9f Compare August 8, 2022 20:20
@angular-robot
Copy link
Contributor

angular-robot bot commented Aug 8, 2022

This PR was merged into the repository by commit 8842b87.

@angular-robot angular-robot bot closed this in e02d805 Aug 8, 2022
angular-robot bot pushed a commit that referenced this pull request Aug 8, 2022
…ing (#758)

Allow for the usage of the ng-dev credential service for pr merging.  This is currently
hidden from users as we test it, though users are free to use it if they want to.  As of
now using the service for a merge requires the usage of the `--use-auth-service` flag.

PR Close #758
@josephperrott josephperrott deleted the use-credential-service branch August 10, 2022 19:52
@angular-automatic-lock-bot
Copy link

This issue has been automatically locked due to inactivity.
Please file a new issue if you are encountering a similar or related problem.

Read more about our automatic conversation locking policy.

This action has been performed automatically by a bot.

@angular-automatic-lock-bot angular-automatic-lock-bot bot locked and limited conversation to collaborators Sep 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
action: merge The PR is ready for merge by the caretaker
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants