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

Fix staging deploy runs #7802

Merged
merged 1 commit into from
Apr 29, 2024
Merged

Conversation

jrjohnson
Copy link
Member

Using the GITHUB_TOKEN to create an automerge will not trigger other github actions so our staging deploys aren't running when these get merged. Github recommends we use a PAT, and we've got one ready made from Zorgbort. This was Zorgbort is responsible for the merge and github is happy to go forth and trigger more actions.

Using the GITHUB_TOKEN to create an automerge will not trigger other
github actions so our staging deploys aren't running when these get
merged. Github recommends we use a PAT, and we've got one ready made
from Zorgbort. This was Zorgbort is responsible for the merge and github
is happy to go forth and trigger more actions.
@jrjohnson jrjohnson marked this pull request as ready for review April 29, 2024 15:39
@jrjohnson jrjohnson requested a review from stopfstedt as a code owner April 29, 2024 15:39
@jrjohnson jrjohnson requested review from michaelchadwick and removed request for stopfstedt April 29, 2024 15:39
@michaelchadwick
Copy link
Contributor

michaelchadwick commented Apr 29, 2024

@jrjohnson So...who or what is "Zorgbort"?

@jrjohnson
Copy link
Member Author

Excellent question! Zorgbort is the name of our chat bot that handles a lot of tasks and connects to a GitHub bot user for automation.

@michaelchadwick
Copy link
Contributor

When you review a PR, do you usually add any kind of labels?

Copy link
Contributor

@michaelchadwick michaelchadwick left a comment

Choose a reason for hiding this comment

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

Seems like a straightforward change in order for Zorgbort to be a more first-class citizen, so approved from me.

@michaelchadwick
Copy link
Contributor

Regardless, @dartajax this PR has been approved and assigned to you (even though it probably could've just been merged by me, I figured it was good form).

@jrjohnson
Copy link
Member Author

No labels, just an approval and then assign it or merge it. In this case you should feel free to merge as it's infrastructure and not user facing.

@dartajax dartajax merged commit 59f441d into ilios:master Apr 29, 2024
26 checks passed
@jrjohnson jrjohnson deleted the fix-staging-deploy branch April 29, 2024 22:07
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.

3 participants