Skip to content
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

workflows/update-manpage: set token. #10713

Merged
merged 1 commit into from
Feb 26, 2021

Conversation

MikeMcQuaid
Copy link
Member

Follow-up from #10673.

@MikeMcQuaid MikeMcQuaid added the critical Critical change which should be shipped as soon as possible. label Feb 26, 2021
@BrewTestBot
Copy link
Member

Review period skipped due to critical label.

@MikeMcQuaid MikeMcQuaid force-pushed the update-manpage-maintainers-token branch from 51d8d70 to 194d801 Compare February 26, 2021 12:54
@MikeMcQuaid MikeMcQuaid force-pushed the update-manpage-maintainers-token branch from 194d801 to 35488b7 Compare February 26, 2021 12:56
@nandahkrishna
Copy link
Member

nandahkrishna commented Feb 26, 2021

Apologies for not noticing, and thanks for the fix! Seems to have run successfully now.

@MikeMcQuaid
Copy link
Member Author

Apologies for not noticing, and thanks for the fix! Seems to have run successfully now.

@nandahkrishna np! thanks for the PR!

@nandahkrishna nandahkrishna merged commit c32ead1 into master Feb 26, 2021
@nandahkrishna nandahkrishna deleted the update-manpage-maintainers-token branch February 26, 2021 13:51
@BrewTestBot BrewTestBot added the outdated PR was locked due to age label Mar 29, 2021
@Homebrew Homebrew locked as resolved and limited conversation to collaborators Mar 29, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
critical Critical change which should be shipped as soon as possible. outdated PR was locked due to age
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants